Sequent-style tableaux for first-order logic: structural analysis, cut admissibility, and the correspondence with LK | Digital Library | PAMCET | PAMCET