TY  - RPRT
TI  - (Quantified) Horn Constraint Solving for Program Verification and Synthesis
AU  - Andrey Rybalchenko
PY  - 2014
UR  - https://arxiv.org/abs/1405.7739
ID  - 1405.7739
ER  -