@Inproceedings{EPTCS82.4,
  author    = {Raffelsieper, Matthias},
  year      = {2012},
  title     = {Productivity of Non-Orthogonal Term Rewrite Systems},
  editor    = {Escobar, Santiago},
  booktitle = {{\rm Proceedings 10th International}
               Workshop on Reduction Strategies in Rewriting and Programming,
               {\rm Novi Sad, Serbia, 29 May 2011 }},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {82},
  publisher = {Open Publishing Association},
  pages     = {53-67},
  doi       = {10.4204/EPTCS.82.4},
}