Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting.

Alexander Lochmann, Aart Middeldorp

Browse the full TACAS paper archive.