Kenichi Taniguchi, Tadao Kasami. A Result on the Equivalence Problem for Deterministic Pushdown Automata. J. Comput. Syst. Sci., 13(1):38-50, 1976.
@article{TaniguchiK76:0,
title = {A Result on the Equivalence Problem for Deterministic Pushdown Automata},
author = {Kenichi Taniguchi and Tadao Kasami},
year = {1976},
researchr = {https://researchr.org/publication/TaniguchiK76%3A0},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {13},
number = {1},
pages = {38-50},
}