Ordinal arithmetic: Algorithms and mechanization (2006)

by Panagiotis Manolios, Daron Vroon
Venue:Journal of Automated Reasoning