Automated Deduction â€" CADE-24 - Bonacina (Springer Berlin Heidelberg, 2013)