1. Bentley, J., Sedgewick, R.: Fast algorithms for sorting and searching strings. In: SODA: ACM-SIAM Symposium on Discrete Algorithms (1997)
2. LNAI;C. Dixon,1996
3. Dixon, C.: Using Otter for temporal resolution. In: Advances in Temporal Logic, pp. 149–166. Kluwer Academic Publishers, Dordrecht (2000)
4. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, ch. 16, pp. 997–1072. Elsevier, Amsterdam (1990)
5. Fisher, M.: A resolution method for temporal logic. In: Proc. IJCAI 1991, pp. 99–104. Morgan Kaufmann, San Francisco (1991)