@inproceedings{JaH09Ref, title = "A Reflection-based Proof Tactic for Lattices in {Coq}", author = "James, Daniel W.H. and Hinze, Ralf", year = "2009", booktitle = "Post-symposium proceedings of the 10th Symposium on Trends in Functional Programming", editor = "Horv\'{a}th, Zolt\'{a}n and Zs\'{o}k, Vikt\'{o}ria", isbn = "9781841504056", location = "Komarno, Slovakia", month = "June", note = "http://www.intellectbooks.co.uk/books/view-Book,id=4740/", publisher = "Intellect", series = "TFP '09", url = "http://www.comlab.ox.ac.uk/people/daniel.james/lattice.html", }