Hi, the author here: While I admit to having skimmed over the paper above, this is NOT the main source of our information. We looked a bit further into this o

Hi, the author here: While I admit to having skimmed over the paper above, this is NOT the main source of our information. We looked a bit further into this one: http://tu-dresden.de/die_tu_dresden/fakultaeten/fakultaet_informatik/smt/cgv/lehre/ergebnisse_studentischer_arbeiten/belege/martin_petrasch_ss08 http://tu-dresden.de/die_tu_dresden/fakultaeten/fakultaet_in... As soon as I get home I will give credit where due, my bad.