Synthesis of programs in the framework of partial deduction (1989)

by J Komorowski
Venue:Department of Computer Science, Abo Akademi