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

by A Takeuchi, K Furukawa
Venue:In Proc. IFIP '86