TY  - BOOK
AU  - Etalle,Sandro
ED  - LOPSTR 2004
ED  - SpringerLink (Online service)
TI  - Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers 
SN  - 9783540316831 (electronic bk.)
U1  - 005.131 22
PY  - 2005///
CY  - Berlin Heidelberg
PB  - Springer-Verlag GmbH.
KW  - Logic programming
KW  - Congresses
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/b137785
ER  -