@InProceedings{ManoliosVroon04,
 author    = "Panagiotis Manolios and Daron Vroon",
 title     = "Integrating Reasoning about Ordinal Arithmetic into {ACL2}",
 Series    = "LNCS",
 booktitle = "Formal Methods in Computer-Aided Design: 5th International Conference -- {FMCAD}-2004",
 month     = "November",
 Publisher = "Springer--Verlag",
 year      = "2004"
}