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