Смирнов И. В., Соченков И. В., Муравьев В. В. Результаты поискового алгоритма Exactus // Тезисы докладов XLV Всероссийской конференции по проблемам математики, информатики, физики и химии. Россия, М.: РУДН 2009. Стр. 143-144.