Efficiently generating efficient generating extensions in Prolog (1996)

by J Jørgensen, M Leuschel
Venue:Dagstuhl Seminar on Partial Evaluation, volume 1110 of Lecture Notes in Computer Science