Generating linear orders for datatypes

René Thiemann
The Archive of Formal Proofs, 2012.

abstract   BibTeX    
AFP entry