1. A. Baziramwabo, P. McKenzie, and D. Therien. Modular temporal logic. In 14th Symposium on Logic in Computer Science (LICS’99), pages 344–351. IEEE, 1999.
2. A. Bergeron and S. Hamel. Cascade decomposition are bit-vector algorithms. In Proceedings of the Conference CIAA’01, Lecture Notes in Computer Science. Springer Verlag, 2001, to appear.
http://www.lacim.ugam
.ca/~anne.
3. A. Bergeron and S. Hamel. Vector algorithms for approximate string matching. International Journal of Foundations of Computer Science, 13 (1): 53–66, 2002.
4. J. Cohen, D. Perrin, and J.-E. Pin. On the expressive power of temporal logic for finite words. Journal of Computer and System Sciences, 46: 271–294, 1993.
5. J.A. Kamp. Tense Logic and the Theory of Linear Order. Ph.d. thesis, University of California, Los Angeles, 1968.