How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi.

Andrei Voronkov

Browse the full LICS paper archive.