Ordinal arithmetic in ACL2 (2003)

by Panagiotis Manolios, Daron Vroon
Venue:In ACL2 Workshop 2003