LOPSTR 2004 (2004 Verona, Italy)

• Logic based program synthesis and transformation