An introduction to partial deduction (1992)

by J Komorovski
Venue:In: Meta Programming in Logic (META’92). Lecture Notes in Computer Science