Certifying Proofs in the First-Order Theory of Rewriting

Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), LNCS 12652, pp. 127 – 144, 2021.

abstract   BibTeX   PDF   doi:10.1007/978-3-030-72013-1_7