"A Decision Procedure for the Equivalence of Two DPDAs, One of Which is ..."

Yair Itzhaik, Amiram Yehudai (1981)
a service of Schloss Dagstuhl - Leibniz Center for Informatics