Conflict nets: Efficient locally canonical MALL proof nets.

Dominic J. D. Hughes, Willem Heijltjes

Browse the full LICS paper archive.