@inproceedings{MMS15,
	Author = {Mariano Moscato and C{\'{e}}sar Mu{\~{n}}oz and Andrew Smith},
	Booktitle = {Proceedings of the 6th International Conference on Interactive Theorem Proving (ITP 2015)},
	Month = {August},
	Title = {Affine Arithmetic and Applications to Real-Number Proving},
        Address = {Nanjing, China},
        series = "Lecture Notes in Computer Science",        
        editor = "Christian Urban and Xingyuan Zhang",
        pages = {294--309},
        volume = "9236",
        year = "2015",
        publisher = "Springer",
}