Proof Search in a Gentzen-like system of first-order logic - Schreiber, J.