## Andrei Voronkov

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

LICS, 2000.

@inproceedings{LICS-2000-Voronkov, author = "Andrei Voronkov", booktitle = "{Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2000.855787", isbn = "0-7695-0725-5", pages = "401--412", publisher = "{IEEE Computer Society}", title = "{How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi}", year = 2000, }