Antonín Kucera, Richard Mayr. A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata. In Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell, editors, Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France. pages 395-408, Kluwer, 2004.
Abstract is missing.