Email Record: Automated deduction in classical and non-classical logics :