Title: Logic program synthesis and transformation
First published: 1996
Subjects: Logic programming, Congresses, Logic design, Computer science, Artificial intelligence
LC classification: QA76.63