Reductive Logic Proof-searc Olg 45 C door David J. Pym & Eike Ritter