Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in noProducator: SPRINGER PG