A Survey of Constraint Transformation Methods.

Sven Lffler, Ilja Becker, Franz Kroll, Petra Hofstedt

Browse the full GI paper archive.