Title: Logic Based Program Synthesis & Transformation
Subjects: Logic programming, Congresses