@inproceedings{jpm:gpdr:10,
  author = {Jeuring, Johan and Magalh\~aes, Jos\'e Pedro and Heeren, Bastiaan},
  title = {Generic Programming for Domain Reasoners},
  booktitle = {Proceedings of the 10th Symposium on Trends in Functional Programming},
  series = {TFP '09},
  editor = {Zolt\'an Horv\'ath and Vikt\'oria Zs\'ok and Peter Achten and Pieter Koopman},
  isbn = {9781841504056},
  publisher = {Intellect},
  pages = {113--128},
  url = {{http://dreixel.net/research/pdf/gpdr.pdf}},
  year = {2010},
}