R.: Efficient Rewriting of Data Structures in ACL2 (2002)

by M Kaufmann, Sumners
Venue:In: 3rd International Workshop on ACL2 Theorem Prover and Its Applications