Automated deduction in classical and non-classical logics selected papers (Springer, 2000)