Towards stepwise, schema-guided synthesis of logic programs (1991)

by Pierre Flener, Yves Deville
Venue:Logic Program Synthesis and Transformation