First-Order Terms

Christian Sternagel, René Thiemann
The Archive of Formal Proofs,  2018.

abstract   BibTeX    
AFP entry