@article{zeilberger-2019-a, title={A sequent calculus for a semi-associative law}, volume={Volume 15, Issue 1}, ISSN={1860-5974}, url={http://dx.doi.org/10.23638/lmcs-15(1:9)2019}, DOI={10.23638/lmcs-15(1:9)2019}, journal={Logical Methods in Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Zeilberger, Noam}, year={2019}, month=Feb }