The equivalence problem for deterministic pushdown automata is decidable (1997)

by G Sénizergues
Venue:In ICALP, volume 1256 of LNCS