author = "Gutman A.E.",

title = "Object-oriented data via prefix rewriting. Part II: Effective analysis of rewriting",

journal = "Sib. Matem. Zh.",

year = "2026",

volume = "67",

number = "4",

pages = "616--625",

doi = "10.33048/smzh.2026.67.404",

language = "russian",

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"