On Extra Variables in (Equational) Logic Programming (1995)

by M Hanus
Venue:In Proceedings of the Twelfth International Conference on Logic Programming