Algorithms for Ordinal Arithmetic (2003)

by P Manolios, D Vroon
Venue:Proceedings of the 19th International Conference on Automated Deduction (CADE 2003), volume 2741 of LNAI