Automated Deduction in Classical and Non-Classical Logics Selected Papers - Caferra, Ricardo; Caferra, Ricardo; Salzer, Gernot; Salzer, Gernot (Springer Berlin Heidelberg : Imprint: Springer, 2000)