Библиографическая ссылка:
Смирнова Н.В. К автоматизированной проверке решений одного класса задач в следящих интеллектуальных обучающих системах / Управление большими системами: сборник трудов. М.: ИПУ РАН, 2014. 48. С. 172-197 http://ubs.mtas.ru/archive/search_results_new.php?publication_id=19255.