@Inproceedings{EPTCS44.4,
  author    = {Thiemann, Ren\'e and Sternagel, Christian and Giesl, J\"urgen and Schneider-Kamp, Peter},
  year      = {2010},
  title     = {Loops under Strategies ... Continued},
  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     = {51-65},
  doi       = {10.4204/EPTCS.44.4},
}