@article{IIGUM_2020_31_a7,
     author = {A. V. Mantsivoda and D. K. Ponomaryov},
     title = {On termination of transactions over semantic document models},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {111--131},
     publisher = {mathdoc},
     volume = {31},
     year = {2020},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2020_31_a7/}
}