Formalizing Rewriting in the ACL2 Theorem Prover.

Jos-Luis Ruiz-Reina, Jos-Antonio Alonso, Mara-Jos Hidalgo, Francisco-Jess Martn-Mateos

Browse the full AISC paper archive.