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