The Mixtus approach to automatic partial evaluation of full Prolog (1990)

by D Sahlin
Venue:Logic Programming: Proceedings of the 1990 North American Conference