Algorithms for ordinal arithmetic (2003)

by Panagiotis Manolios, Daron Vroon
Venue:In 19th International Conference on Automated Deduction (CADE