Лушев, А. and Половикова, О. (2016) “ФОРМАЛЬНАЯ И КОНТЕКСТНАЯ ПРОВЕРКА ТЕКСТОВЫХ ДОКУМЕНТОВ”, Труды семинара по геометрии и математическому моделированию, 0(2), pp. с. 36-38. Available at: https://journal.asu.ru/psgmm/article/view/2052 (Accessed: 14December2025).