Antonín Kucera Petr Jancar Equivalence-Checking with Infinite-State Systems: Techniques and Results. 41-73 2002 conf/sofsem/2002 SOFSEM http://link.springer.de/link/service/series/0558/bibs/2540/25400041.htm db/conf/sofsem/sofsem2002.html#KuceraJ02