An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract).

Maurizio Proietti, Alberto Pettorossi

Browse the full LOPSTR paper archive.