Архів автора	Бондаренко, М. Ф.     Методы исключения переменных из предикатов, представленных различными формулами алгебры конечных предикатов [Текст] / М. Ф. Бондаренко, С. Ю. Шабанов-Кушнаренко, Д. Э. Ситников, П. Э. Ситникова // Системи обробки інформаціїВип. 3. Вип. 3. т. 1 ; М-во оборони України - Х. , 2012. — 111-118.