Title: Logic program synthesis from incomplete information
First published: 1995
Subjects: Logic programming
LC classification: QA76.63 .F55 1995