Title: Logic program synthesis and transformation
Subjects: Congresses, Logic programming, Logic design, Computer science