Ori Lahav, Yoni Zohar. Pure Sequent Calculi: Analyticity and Decision Procedure. ACM Trans. Comput. Log., 20(3), 2019. [doi]
@article{LahavZ19, title = {Pure Sequent Calculi: Analyticity and Decision Procedure}, author = {Ori Lahav and Yoni Zohar}, year = {2019}, doi = {10.1145/3319501}, url = {https://doi.org/10.1145/3319501}, researchr = {https://researchr.org/publication/LahavZ19}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {20}, number = {3}, }