zeilberger-2019-a:
  type: article
  title: A sequent calculus for a semi-associative law
  author: Zeilberger, Noam
  date: 2019-02
  url: http://dx.doi.org/10.23638/lmcs-15(1:9)2019
  serial-number:
    doi: 10.23638/lmcs-15(1:9)2019
    issn: 1860-5974
  parent:
    type: periodical
    title: Logical Methods in Computer Science
    publisher: Centre pour la Communication Scientifique Directe (CCSD)
    volume: Volume 15, Issue 1