Upper semilattice of recursively enumerable sQ-degrees R. Sh. Omanadze OriginalPaper Pages: 265 - 271
Decidability of elementary theories of certain finitely defined algebras L. V. Shabunin OriginalPaper Pages: 296 - 310