@proceedings {DBLP:conf/cade/2013,
	title = {Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
	journal = {Lecture Notes in Computer Science},
	volume = {7898},
	year = {2013},
	publisher = {Springer},
	isbn = {978-3-642-38573-5},
	doi = {10.1007/978-3-642-38574-2},
	url = {http://dx.doi.org/10.1007/978-3-642-38574-2},
	editor = {Maria Paola Bonacina}
}
