@Inproceedings{EPTCS44.3,
  author    = {Gramlich, Bernhard and Schernhammer, Felix},
  year      = {2010},
  title     = {Termination of Rewriting with and Automated Synthesis of Forbidden Patterns},
  editor    = {Kirchner , H\'el\`ene and Mu\~noz, C\'esar },
  booktitle = {{\rm Proceedings International Workshop on}
               Strategies in Rewriting, Proving, and Programming,
               {\rm Edinburgh, UK, 9th July 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {44},
  publisher = {Open Publishing Association},
  pages     = {35-50},
  doi       = {10.4204/EPTCS.44.3},
}