Enhancing Partial Deduction via Unfold/Fold Rules.

Alberto Pettorossi, Maurizio Proietti, Sophie Renault

Browse the full LOPSTR paper archive.