Text this: Automated deduction in multiple-valued logics /