Title: Logic program synthesis and transformation-- Meta-programming in Logic
First published: 1994
Subjects: Logic programming, Congresses
LC classification: QA76.73