A. V. Anisimov. Church-Rosser transformers and decidable properties of tree processing. In Andrei P. Ershov, Donald E. Knuth, editors, Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, September 16-22, 1979. Volume 122 of Lecture Notes in Computer Science, pages 449-457, Springer, 1979.
@inproceedings{Anisimov79,
title = {Church-Rosser transformers and decidable properties of tree processing},
author = {A. V. Anisimov},
year = {1979},
researchr = {https://researchr.org/publication/Anisimov79},
cites = {0},
citedby = {0},
pages = {449-457},
booktitle = {Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, September 16-22, 1979},
editor = {Andrei P. Ershov and Donald E. Knuth},
volume = {122},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11157-3},
}