Решетка рекурсивно-перечислимых подструктур эффективной системы замыканий С.Л. Шохор; S. L. Šochor; S. L. Šohor; S. L. Šochor — 1995 Algebra i Logika