%0 Journal Article %1 journals/mics/HeerenJG10 %A Heeren, Bastiaan %A Jeuring, Johan %A Gerdes, Alex %D 2010 %J Math. Comput. Sci. %K %N 3 %P 349-370 %T Specifying Rewrite Strategies for Interactive Exercises. %U http://dblp.uni-trier.de/db/journals/mics/mics3.html#HeerenJG10 %V 3

@article{journals/mics/HeerenJG10, added-at = {2023-12-12T23:53:45.000+0100}, author = {Heeren, Bastiaan and Jeuring, Johan and Gerdes, Alex}, biburl = {https://www.bibsonomy.org/bibtex/28add3bdf449e6d3a4b4e19b0567d6d68/admin}, ee = {https://doi.org/10.1007/s11786-010-0027-4}, interhash = {5bdb42974037858b26fb33b75947f1e9}, intrahash = {8add3bdf449e6d3a4b4e19b0567d6d68}, journal = {Math. Comput. Sci.}, keywords = {}, number = 3, pages = {349-370}, timestamp = {2023-12-12T23:53:45.000+0100}, title = {Specifying Rewrite Strategies for Interactive Exercises.}, url = {http://dblp.uni-trier.de/db/journals/mics/mics3.html#HeerenJG10}, volume = 3, year = 2010 }