Efficiently generating efficient generating extensions in Prolog (1996)

by J Jørgensen, M Leuschel
Venue:Partial Evaluation, International Seminar, LNCS 1110, pages 238–262, Schloß Dagstuhl