D.: Ordinal arithmetic: Algorithms and mechanization (2005)

by P Manolios, Vroon
Venue:Journal of Automated Reasoning