Ануреев И. С. Система машинной поддержки доказательства: от тактикалов к генератору тактикалов / И. С. Ануреев // Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.). Томск, 2002. С. 4-8 (Вестник Томского государственного университета. Приложение ; № 1 (II), Сентябрь 2002