@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}