Yair Itzhaik, Amiram Yehudai. An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA. Inf. Comput., 62(1):26-35, July 1984.
@article{ItzhaikY84, title = {An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA}, author = {Yair Itzhaik and Amiram Yehudai}, year = {1984}, month = {July}, researchr = {https://researchr.org/publication/ItzhaikY84}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {62}, number = {1}, pages = {26-35}, }