Completeness of some transformation strategies for avoiding unnecessary logical variables (1994)

by M Proietti, A Pettorossi
Venue:Proceedings ICLP'94, 714--729