Partial evaluation of Prolog programs and its application to meta programming (1986)

by Akikazu Takeuchi, Foichi Furukawa
Venue:Information Processing