TY  - RPRT
TI  - Proceedings First Workshop on Horn Clauses for Verification and Synthesis
AU  - Nikolaj Bjørner
AU  - Fabio Fioravanti
AU  - Andrey Rybalchenko
AU  - Valerio Senni
PY  - 2014
DO  - 10.4204/eptcs.169
UR  - https://arxiv.org/abs/1412.0825
ID  - 1412.0825
ER  -