Well-Quasi-Orders

Christian Sternagel
The Archive of Formal Proofs, 2012.

abstract   BibTeX    
AFP entry