Ordinal arithmetic: Algorithmsand mechanization. Journal of Automated Reasoning (2006)

by Panagiotis Manolios, Daron Vroon
Venue:Proceedings of the 5th International Workshop on the ACL2 Theorem Prover and Its Applications, 2004. See URL http://www.cs.utexas.edu/users/moore/acl2/workshop-2004