Formal Proofs about Rewriting using ACL2 (2002)

by J L Ruiz, J A Alonso, M J Hidalgo, F J Martín
Venue:Annals of Mathematics and Artificial Intelligence