TY  - BOOK
AU  - Puebla,German
ED  - LOPSTR 2006 
TI  - Logic-based program synthesis and transformation: 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers 
T2  - Lecture notes in computer science
SN  - 9783540714095
AV  - QA76.63  .L63 2007
PY  - 2007///
CY  - New York
PB  - Springer
KW  - Logic programming
KW  - Congresses
ER  -