TY  - DATA
AU  - Pierre Flener
TI  - Logic-Based Program Synthesis and Transformation
SN  - 9783540489580
PY  - 1999///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/3-540-48958-4
ER  -