@misc{indiciaed078f6e5540f,
  title = {Elimination via saturation},
  author = {Mohamed Barakat and Markus Lange-Hegermann and Sebastian Posur},
  year = {2020},
  url = {https://arxiv.org/abs/1707.00925},
  note = {Source identifier: 1707.00925}
}