@Inproceedings{EPTCS82.5,
  author    = {Zantema, Hans},
  year      = {2012},
  title     = {Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic},
  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     = {69-76},
  doi       = {10.4204/EPTCS.82.5},
}