Ricardo Caferra Gernot Salzer Automated Deduction in Classical and Non-Classical Logics, Selected Papers FTP (LNCS Selection) Lecture Notes in Computer Science 1761 Springer 2000 3-540-67190-0 db/conf/ftp/ftp-lncs1998.html