@misc{indiciaeac5e9bcf13fb,
  title = {All-Instances Restricted Chase Termination},
  author = {Tomasz Gogacz and Jerzy Marcinkowski and Andreas Pieris},
  year = {2019},
  url = {https://arxiv.org/abs/1901.03897},
  note = {Source identifier: 1901.03897}
}