Function memoization and unique object representation for ACL2 functions (2006)

by Robert S Boyer, Warren A Hunt
Venue:In ACL2 ’06