Clare Dixon Michael Fisher Boris Konev Alexei Lisitsa Efficient First-Order Temporal Logic for Infinite-State Systems http://arxiv.org/abs/cs/0702036 2007 CoRR abs/cs/0702036 db/journals/corr/corr0702.html#abs-cs-0702036