Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs. Theoretical Computer Science 142 (1995)

by M Proietti, A Pettorossi