TY  - RPRT
TI  - Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
AU  - Fabio Fioravanti
AU  - John P. Gallagher
PY  - 2017
UR  - https://arxiv.org/abs/1708.07854
ID  - 1708.07854
ER  -