@article { Gutman20260528,
  author = "Гутман А.Е.",
  title = "Объектно-ориентированные данные и префиксная перезапись. Часть II: Эффективный анализ перезаписи",
  journal = "Сиб. матем. журн.",
  year = "2026",
  volume = "67",
  number = "4",
  pages = "616--625",
  doi = "10.33048/smzh.2026.67.404",
  annote = "Для произвольной детерминированной префиксной перезаписывающей системы получен критерий бесконечной перезаписываемости слова, на основе которого разработана алгоритмическая процедура анализа последовательности перезаписи.",
  keywords = "префиксная перезапись, полутуэвская система, информационная система, объектно-ориентированная система данных, лемма о накачке"
}