Title: Logic program synthesis and transformation
First published: 1998
Subjects: Logic programming, Congresses
LC classification: QA76.63