Proof-search in Hilbert calculi