@article{ManoliosVroonJAR06,
 author = "Panagiotis Manolios and Daron Vroon",
 title = "Ordinal Arithmetic: Algorithms and Mechanization",
 journal = "Journal of Automated Reasoning",
 year = "2006",
 issn = "0168-7433",
 pages = "1--37",
 doi = "10.1007/s10817-005-9023-9",
 Publisher = "Springer Netherlands"
}