Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui. Algebraic proof theory: Hypersequents and hypercompletions. Annals of Pure and Applied Logic, 168(3):693-737, 2017. [doi]
@article{CiabattoniGT17, title = {Algebraic proof theory: Hypersequents and hypercompletions}, author = {Agata Ciabattoni and Nikolaos Galatos and Kazushige Terui}, year = {2017}, doi = {10.1016/j.apal.2016.10.012}, url = {http://dx.doi.org/10.1016/j.apal.2016.10.012}, researchr = {https://researchr.org/publication/CiabattoniGT17}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {168}, number = {3}, pages = {693-737}, }