@inproceedings{ML05TPHOLs,
        author = "C{\'e}sar Mu{\~{n}}oz and David Lester",
        title = "Real Number Calculations and Theorem Proving",
        booktitle = "Proceedings of the 18th International Conference on 
Theorem Proving in Higher Order Logics, TPHOLs 2005",
        address = "Oxford, UK",
        editor          = "J. Hurd and T. Melham",
        series          = "Lecture Notes in Computer Science",
        volume          = 3603,
        publisher       = "Springer-Verlag",
        pages           = "195--210",
        year = "2005"
}