%0 Journal Article %A Ryšlinková, Jana %T Church-Rosser property and decidability of monadic theories of unary algebras %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1987 %P 323-329 %V 21 %N 3 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_1987__21_3_323_0/ %G en %F ITA_1987__21_3_323_0