Albert Atserias, Joanna Ochremiak. Proof Complexity Meets Algebra. ACM Trans. Comput. Log., 20(1), 2019. [doi]
@article{AtseriasO19, title = {Proof Complexity Meets Algebra}, author = {Albert Atserias and Joanna Ochremiak}, year = {2019}, url = {https://dl.acm.org/citation.cfm?id=3265985}, researchr = {https://researchr.org/publication/AtseriasO19}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {20}, number = {1}, }