@BOOK{MPB:CADE2013:LNAI:2013, AUTHOR = "Maria Paola Bonacina", TITLE = "Proceedings of the 24th International Conference on Automated Deduction (CADE)", SERIES = "Lecture Notes in Artificial Intelligence", VOLUME = 7898, PUBLISHER = "Springer", MONTH = "June", YEAR = 2013}