TY  - RPRT
TI  - Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints
AU  - Andreas Teucke
AU  - Christoph Weidenbach
PY  - 2017
UR  - https://arxiv.org/abs/1703.02837
ID  - 1703.02837
ER  -