First Order Compiler: a deterministic logic program synthesis algorithm (1989)

by T Sato
Venue:Journal of Symbolic Computation