Johan Jeuring, José Pedro Magalhães, and Bastiaan Heeren. Generic programming for domain reasoners. In Zoltán Horváth, Viktória Zsók, Peter Achten, and Pieter Koopman, Proceedings of TFP 2009: 10th Symposium on Trends in Functional Programming, pages 113 – 128, Intellect, 2011. An earlier version appeared as Technical report Utrecht University UU-CS-2009-016, 2009.
Alex Gerdes, Bastiaan Heeren, and Johan Jeuring. Properties of Exercise Strategies. To appear in Hélène Kirchner and César Muñoz, editors, Proceedings of IWS 2010: 1st International Workshop on Strategies in Rewriting, Proving, and Programming, Electronic Proceedings in Theoretical Computer Science, 2011. An extended version will appear as Technical report Utrecht University UU-CS-2010-028, 2011.