Formal proofs about rewriting using ACL2 (0)

by J-L Ruiz-Reina, J-A Alonso, M-J Hidalgo, F-J Mart́ın-Mateos
Venue:Annals of Mathematics and Artificial Intelligence