%0 Conference Proceedings %B Lecture Notes in Computer Science %D 2013 %T Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings %E Maria Paola Bonacina %B Lecture Notes in Computer Science %I Springer %V 7898 %@ 978-3-642-38573-5 %G eng %U http://dx.doi.org/10.1007/978-3-642-38574-2 %R 10.1007/978-3-642-38574-2