Generic Programming for Domain Reasoners - Jeuring, J; aes, J; Heeren, B (Department of Information and Computing Sciences‚ Utrecht University, 2009)