Efficient specialisation in Prolog using the handwritten compiler generator LOGEN (1999)

by M Leuschel, J Jørgensen
Venue:Elec. Notes Theor. Comp. Sci