Title: Logic-based program synthesis and transformation
First published: 2000
Subjects: Logic programming, Congresses
LC classification: QA76.63 .I57 1999, QA76.63 .I57 1999