Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables (1994)

by M Proietti, A Pettorossi
Venue:In Proc. Eleventh International Conference on Logic Programming