@misc{indiciae69959feb6e78,
  title = {Termination of Rewriting with and Automated Synthesis of Forbidden Patterns},
  author = {Bernhard Gramlich and Felix Schernhammer},
  year = {2010},
  doi = {10.4204/eptcs.44.3},
  url = {https://arxiv.org/abs/1012.5562},
  note = {Source identifier: 1012.5562}
}