@misc{indiciae1c59f2913d13,
  title = {Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints},
  author = {Andreas Teucke and Christoph Weidenbach},
  year = {2017},
  url = {https://arxiv.org/abs/1703.02837},
  note = {Source identifier: 1703.02837}
}