L. V. Shabunin

On the Interpretation of Combinators with Weak Reduction

L. V. Shabunin, 1983, J. Symb. Log..

On finitely-related and free algebras of cantor varieties

L. V. Shabunin, 1997 .

Decidability of elementary theories of certain finitely defined algebras

L. V. Shabunin, 1991 .