Integrating reasoning about ordinal arithmetic into ACL2 (2004)

by P Manolios, D Vroon
Venue:Proceedings of the 5th International Conference on Formal Methods in ComputerAided Design – FMCAD 2004. Lecture Notes in Computer Science