Title: Logic based program synthesis and transformation
First published: 2004
Subjects: Logic programming, Congresses, Logic design, Computer programs, design