Automated Deduction in Classical and Non-Classical Logics : Selected Papers - Ricardo Caferra, Gernot Salzer ((Lecture Notes in Computer Science))