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

by Pierre Flener, Yves Deville
Venue:In T. Clement and K.-K. Lau (eds), Proc. of LOPSTR’91