Clare Dixon Michael Fisher Boris Konev Alexei Lisitsa Practical First-Order Temporal Reasoning. 156-163 2008 TIME http://dx.doi.org/10.1109/TIME.2008.15 conf/time/2008 db/conf/time/time2008.html#DixonFKL08