XML

Christian Sternagel and René Thiemann
Archive of Formal Proofs 2014.

abstract   BibTeX    
AFP entry