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