Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями. С.Т. Федоряев; S. T. Fedorjaev; S. T. Fedorǎev; S. T. Fedorjaev — 1995 Algebra i Logika