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

by M Proietti, A Pettorossi
Venue:Theoretical Computer Science