Proof search techniques for the decision of lattice logics