@article{ITA_1987__21_3_323_0,
     author = {Ry\v{s}linkov\'a, Jana},
     title = {Church-Rosser property and decidability of monadic theories of unary algebras},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {323--329},
     publisher = {EDP-Sciences},
     volume = {21},
     number = {3},
     year = {1987},
     mrnumber = {910081},
     zbl = {0639.03008},
     language = {en},
     url = {http://archive.numdam.org/item/ITA_1987__21_3_323_0/}
}