Leram - Automated Deduction in Nonclassical Logics - Efficient Matrix Proof Methods etc