Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints.

Andreas Teucke, Christoph Weidenbach

Browse the full CADE paper archive.