@proceedings{LNAI7898,
   editor     = {Maria Paola Bonacina},
   title      = {Automated Deduction -- CADE-24},
   shorttitle = {CADE 2013},
   publisher  = {Springer},
   location   = {Heidelberg},
   series     = {Lecture Notes in Computer Science},
   volume     = {7898},
   year       = {2013},
   isbn       = {978-3-642-38573-5}
}