@Inproceedings{EPTCS44.2,
  author    = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
  year      = {2010},
  title     = {Properties of Exercise Strategies},
  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     = {21-34},
  doi       = {10.4204/EPTCS.44.2},
}