@InProceedings{ManoliosVroon03,
 author    = "Panagiotis Manolios and Daron Vroon",
 title     = "Algorithms for Ordinal Arithmetic",
 editor    = "Franz Baader",
 Series    = "LNAI",
 booktitle = "19th International Conference on Automated Deduction -- {CADE}-19",
 volume    = "2741",             
 month     = "July/August",
 pages     = "243--257",
 Publisher = "Springer--Verlag",
 year      = "2003"
}