Christian Urban, Stefan Berghofer
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL
IJCAR, 2006.
@inproceedings{IJCAR-2006-UrbanB, author = "Christian Urban and Stefan Berghofer", booktitle = "{Proceedings of the Third International Joint Conference on Automated Reasoning}", doi = "10.1007/11814771_41", isbn = "3-540-37187-7", pages = "498--512", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL}", volume = 4130, year = 2006, }