Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs (1991)

by M Proietti, A Pettorossi
Venue:Programming Language Implementation and Logic Programming, PLILP’91, Proceedings, LNCS 528