Logic program synthesis from incomplete speci (1993)

by P Flener, Y Deville
Venue:Journal of Symbolic Computation