\RBibitem{Kan84} \by В.~Г.~Кановей \paper Неразрешимые и~разрешимые свойства конституант \jour Матем. сб. \yr 1984 \vol 124(166) \issue 4(8) \pages 505--535 \mathnet{http://mi.mathnet.ru/sm2064} \mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=754474} \zmath{https://zbmath.org/?q=an:0598.03041} \transl \by V.~G.~Kanovei \paper Undecidable and decidable properties of constituents \jour Math. USSR-Sb. \yr 1985 \vol 52 \issue 2 \pages 491--519 \crossref{https://doi.org/10.1070/SM1985v052n02ABEH002902}