KUČERA, Antonín and Petr JANČAR. Equivalence-Checking on Infinite-State Systems: Techniques and Results. Theory and practice of logic programming. Cambridge: Cambridge University Press, 2006, vol. 6, No 3, p. 227-264. ISSN 1471-0684.
JANČAR, Petr, Antonín KUČERA, Faron MOLLER and Zdeněk SAWA. DP lower bounds for equivalence-checking and model-checking of one-counter automata. Information and Computation. Academic Press, 2004, vol. 188, No 1, p. 1-19. ISSN 0890-5401.
KUČERA, Antonín and Petr JANČAR. Equivalence-Checking with Infinite-State Systems: Techniques and Results. W.I. Grosky, F. Plášil (Eds.). In Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002). Berlin: Springer, 2002, p. 41-73. ISBN 3-540-00145-X.