Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev. Deciding Boundedness of Monadic Sirups. In Leonid Libkin, Reinhard Pichler, Paolo Guagliardo, editors, PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021. pages 370-387, ACM, 2021. [doi]
Abstract is missing.