@inproceedings{JaH09Ref,
  title = "A reflection-based proof tactic for lattices in {Coq}",
  author = "James, Daniel W.H. and Hinze, Ralf",
  year = "2010",
  booktitle = "Post-conference proceedings of the 10th Symposium on Trends in Functional Programming (TFP 2009)",
  editor = "Horv\'{a}th, Zolt\'{a}n and Zs\'{o}k, Vikt\'{o}ria and Achten, Peter and Koopman, Pieter",
  isbn = "ISBN 978-1-84150-158-1",
  location = "Komarno, Slovakia",
  pages = "97-112",
  publisher = "Intellect",
  url = "http://www.intellectbooks.co.uk/books/view-Book,id=4740/",
}