Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables.

Maurizio Proietti, Alberto Pettorossi

Browse the full ICLP paper archive.