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