@techreport{HofstedtSchwigon2012, author = {Petra Hofstedt and S. Schwigon}, title = {Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme}, institution = {FG Programmiersprachen und Compilerbau}, pages = {39}, year = {2012}, }