@techreport{jpm:gpdrtr:09,
  author = {Jeuring, Johan and Magalh\~aes, Jos\'e Pedro and Heeren, Bastiaan},
  institution = {Department of Information and Computing Sciences, Utrecht University},
  number = {UU-CS-2009-016},
  pubcat = {techreport},
  title = {Generic Programming for Domain Reasoners},
  url = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-016.pdf}},
  year = {2009},
}