@inproceedings{d5fda3e8d029462da4cee1324c55c847,
title = "Properties of Exercise Strategies.",
author = "A. Gerdes and B. Heeren and J.T. Jeuring",
note = "International Workshop on Strategies in Rewriting, Proving, and Programming",
year = "2010",
month = dec,
day = "24",
language = "Undefined/Unknown",
series = "Electronic Proceedings in Theoretical Computer Science",
pages = "21--34",
editor = "H Kirchner and C Mu{\~n}oz",
booktitle = "Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming",
}