@inproceedings{DM14,
	Author = {William Denman and C{\'{e}}sar Mu{\~{n}}oz},
	Booktitle = {Proceedings of the 19th International Symposium on Formal Methods (FM 2014)},
	Month = {May},
	Title = {Automated Real Proving in {PVS} via {M}eti{T}arski},
        Address = {Singapore},
        series = "Lecture Notes in Computer Science",        
        editor = "Cliff Jones and Pekka Pihlajasaari and Jun Sun",
        volume = "8442",
        pages = "194--199",
        year = "2014",
        publisher = "Springer",
}