Гаврилова, Т. Л.     Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч.3. Модель доказательства. [Текст] / Институт автоматики и процессов управления ДВО РАН, г.Владивосток // Проблемы управления : Научно-технический журнал / Ин-т проблем управления им. В.А. Трапезникова; РАН. — М. : ООО "СенСиДат", 2006. — С. 68-71.