## Chuck Liang, Dale Miller

*A Unified Sequent Calculus for Focused Proofs*

LICS, 2009.

@inproceedings{LICS-2009-LiangM, author = "Chuck Liang and Dale Miller", booktitle = "{Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2009.47", isbn = "978-0-7695-3746-7", pages = "355--364", publisher = "{IEEE Computer Society}", title = "{A Unified Sequent Calculus for Focused Proofs}", year = 2009, }