Ordinal arithmetic in acl2 (2003)

by P Manolios, D Vroon
Venue:In ACL2 Workshop 2003