An introduction to partial deduction (1992)

by J Komorowski
Venue:Proceedings Meta’92, LNCS 649