TY  - RPRT
TI  - Efficient First-Order Temporal Logic for Infinite-State Systems
AU  - Clare Dixon
AU  - Michael Fisher
AU  - Boris Konev
AU  - Alexei Lisitsa
PY  - 2007
UR  - https://arxiv.org/abs/cs/0702036
ID  - cs/0702036
ER  -