Logic program synthesis from incomplete specifications (1993)

by P Flener, Y Deville
Venue:Journal of Symbolic Computation, Special Issue on Automatic Programming 15(5-6):775--805, May/June