No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete.

Willem Heijltjes, Robin Houston

Browse the full CSL paper archive.