Эффективные аналоги A-, B- и C-множеств и их применение к индексным множествам В.Л. Селиванов (1983) Verojatnostnye metody i kibernetika
Эффективные операции выбора на конструктивных и позитивных моделях Ю.Г. Венцов (1993) Algebra i Logika
Явные определения неявно определимых объектов в некоторых модальных логиках. Л.Л. Максимова (1997) Sibirskij matematiceskij zurnal