TY  - RPRT
TI  - Proof equivalence in MLL is PSPACE-complete
AU  - Willem Heijltjes
AU  - Robin Houston
PY  - 2016
DO  - 10.2168/lmcs-12(1:2)2016
UR  - https://arxiv.org/abs/1510.06178
ID  - 1510.06178
ER  -