The Equivalence Problem for Deterministic Pushdown Automata is Decidable (1997)

by Graud Snizergues
Venue:Proc. ICALP'97. Lecture Notes in Computer Science