Logic program synthesis from incomplete information - Flener, Pierre (Boston Kluwer Academic Publishers, 1995)
Keywords: Logic Programming