Вовк, Р.     Формальний процес контролю задоволення та порушення обмежень в інтелектуальних системах [Текст] / Р. Вовк, В. Процюк, В. Шекета // Хімія. Технологія речовини та їх застосування / Відп. ред. Є.М. Мокрий. — Львів : Світ, 1992. — с. 189-199.