@article{MP20,
  author =	 {A. V. Mantsivoda and D. K. Ponomaryov},
  title =	 {On termination of transactions over semantic
                  document models},
  year =	 2020,
  journal =	 {The Bulletin of Irkutsk State University. Series
                  Mathematics},
  doi =		 {10.26516/1997-7670.2020.31.111},
  abstract =	 {We consider the framework of Document Modeling,
                  which lays the formal basis for representing the
                  document lifecycle in Business Process Management
                  systems. We formulate document models in the scope
                  of the logic-based Semantic Modeling language and
                  study the question whether transactions given by a
                  document model terminate on any input. We show that
                  in general this problem is undecidable and formulate
                  sufficient conditions, which guarantee decidability
                  and tractability of computing effects of
                  transactions.},
  volume =	 {31},
  pages =	 {111--131}
}