Частично упорядоченные множества конечного типа М.М. Клейнер (1972) Zapiski naucnych seminarov Leningradskogo
Экономый способ возбедения в данную степень на ЭВМ некоторых полугрупповых объектов Н.З. Габбасов (1983) Verojatnostnye metody i kibernetika
Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Taiclin (1962) Algebra i Logika
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий И.А. Лавров (1963) Algebra i Logika