№ 1 (2013) Клещев А. С., Тимченко В. А. ОГРАНИЧЕННАЯ СИНТАКСИЧЕСКАЯ ЭКВИВАЛЕНТНОСТЬ И АДАПТИВНАЯ УНИФИКАЦИЯ ВЫРАЖЕНИЙ В РАСШИРЯЕМОЙ МОДЕЛИ МАТЕМАТИЧЕСКОГО ДИАЛЕКТА
№ 1 (2012) Клещев А. С., Тимченко В. А. Алгоритм унификации для расширяемой модели математического диалекта
№ 3 (2011) Клещев А. С., Тимченко В. А. Задача применения подстановки для расширяемой модели математического диалекта