TY  - RPRT
TI  - CTL+FO Verification as Constraint Solving
AU  - Tewodros A. Beyene
AU  - Marc Brockschmidt
AU  - Andrey Rybalchenko
PY  - 2014
UR  - https://arxiv.org/abs/1406.3988
ID  - 1406.3988
ER  -