Automated Deduction in Classical and Non-Classical Logics

Includes supplementary material: sn.pub/extras