K. Bharat, B. Chang, M. Henzinger, and M. Ruhl. International Conference on Data Mining (ICDM), page 51--58. San Jose, California, USA, IEEE CS, (2001)
T. Henzinger, and H. Wong-Toi. Formal Methods for Industrial Applications, volume 1165 of Lecture Notes in Computer Science, page 265-282. Springer, (1995)
T. Henzinger. LICS '96: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, page 278. Washington, DC, USA, IEEE Computer Society, (1996)