\Bibitem{1} \paper Sessions of the seminar “Algebra i Logika” \jour Algebra Logika \yr 1983 \vol 22 \issue 4 \pages 474 \mathnet{http://mi.mathnet.ru/al2502}