Title: Logic program synthesis and transformation
Subjects: Congresses, Logic programming