@article{728443,
      note = {International conference proceedings.},
      author = {Felty, Amy, and Middeldorp, Aart,},
      url = {http://library.usi.edu/record/728443},
      title = {Automated deduction -- CADE-25 25th International  Conference on Automated Deduction, Berlin, Germany, August  1-7, 2015 : proceedings / [electronic resource] :.  International Conference on Automated Deduction},
      abstract = {This book constitutes the proceedings of the 25th  International Conference on Automated Deduction, CADE-25,  held in Berlin, Germany, in August 2015. The 36 revised  full papers presented ( 24 full papers and 12 system  descriptions) were carefully reviewed and selected from 85  submissions. CADE is the major forum for the presentation  of research in all aspects of automated deduction,  including foundations, applications, implementations and  practical experience.},
      recid = {728443},
      pages = {1 online resource (xxviii, 640 pages) :},
}