Deciding Boundedness of Monadic Sirups.

Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev

Browse the full PODS paper archive.