Text this: Automated Deduction - A Basis for Applications :