K. Bharat, B. Chang, M. Henzinger, und M. Ruhl. International Conference on Data Mining (ICDM), Seite 51--58. San Jose, California, USA, IEEE CS, (2001)
T. Henzinger, und H. Wong-Toi. Formal Methods for Industrial Applications, Volume 1165 von Lecture Notes in Computer Science, Seite 265-282. Springer, (1995)
T. Henzinger. LICS '96: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, Seite 278. Washington, DC, USA, IEEE Computer Society, (1996)
K. Chatterjee, L. Doyen, und T. Henzinger. Models, Algorithms, Logics and Tools, Volume 10460 von Lecture Notes in Computer Science, Seite 367-381. Springer, (2017)