Библиографическая ссылка:
Суконнова А.А. Развитие и применение исчисления позитивно-образованных формул для интеллектуализации обучающих систем. / Материалы 1-й Всероссийской конференции с международным участием «Системный анализ и семиотическое моделирование» (SASM-2011, Казань). Казань: Фэн Академии наук РТ, 2011. С. 310-316 http://www.ips.antat.ru/page.php?id=130.