Certifying Proofs in the First-Order Theory of Rewriting.

Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer

Browse the full TACAS paper archive.