Zohar Manna Nikolaj Bjørner Anca Browne Edward Y. Chang Michael Colón Luca de Alfaro Harish Devarajan Arjun Kapur Jaejin Lee Henny Sipma Tomás E. Uribe STeP: The Stanford Temporal Prover. 793-794 1995 conf/tapsoft/1995 TAPSOFT db/conf/tapsoft/tapsoft95.html#MannaBBCCADKLSU95 http://dx.doi.org/10.1007/3-540-59293-8_237