Gernot Salzer

• Automated Deduction in Classical and Non-Classical Logics