Partial evaluation of the "real thing (1994)

by M Leuschel
Venue:Logic Program Synthesis and Transformation --- Meta-Programming in Logic. Proceedings of LOPSTR'94 and META'94, LNCS 883, 122--137