@article { Gutman20260529,
  author = "Gutman A.E.",
  title = "Object-oriented data via prefix rewriting. Part II: Effective analysis of rewriting",
  journal = "Sib. Math. J.",
  year = "2026",
  volume = "67",
  number = "4",
  pages = "785--792",
  doi = "10.1134/S003744662604004X",
  annote = "For an arbitrary deterministic longest-prefix rewriting system, a criterion is obtained for the infinite rewritability of a word, on the basis of which an effective procedure is developed for analyzing the rewriting sequence.",
  keywords = "prefix rewriting, term rewriting, information system, object-oriented data, pumping lemma"
}