A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic