@misc{indiciae2d75f68cdad1,
  title = {Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time},
  author = {Helmut Seidl and Raphaela Palenta and Sebastian Maneth},
  year = {2019},
  url = {https://arxiv.org/abs/1902.03858},
  note = {Source identifier: 1902.03858}
}