Kai Salomaa, Sheng Yu. EDTOL Structural Equivalence is Decidable. In Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten, editors, First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996. pages 363-375, Springer-Verlag, Singapore, 1996.
@inproceedings{SalomaaY96-0,
title = {EDTOL Structural Equivalence is Decidable},
author = {Kai Salomaa and Sheng Yu},
year = {1996},
researchr = {https://researchr.org/publication/SalomaaY96-0},
cites = {0},
citedby = {0},
pages = {363-375},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996},
editor = {Douglas S. Bridges and Cristian S. Calude and Jeremy Gibbons and Steve Reeves and Ian H. Witten},
publisher = {Springer-Verlag, Singapore},
isbn = {981-3083-14-X},
}