TY  - RPRT
TI  - A sequent calculus for the Tamari order
AU  - Noam Zeilberger
PY  - 2017
UR  - https://arxiv.org/abs/1701.02917
ID  - 1701.02917
ER  -