Й. Лимон, Э. Барсенас, Э. Бенитес-Герреро, Г. Молеро-Кастильо, А. Веласкес Мена, “Выполнимость мю-исчисления с арифметическими ограничениями”, Труды ИСП РАН, 33:2 (2021), 191–200
2.
Д. Рианьо, Р. Пинон, Г. Молеро-Кастильо, Э. Барсенас, А. Веласкес-Мена, “Регулярные выражения для обнаружения Web-рекламы на основе автоматического скользящего алгоритма”, Труды ИСП РАН, 33:2 (2021), 65–76
