A Neutral Approach to Proof and Refutation in MALL.

Olivier Delande, Dale Miller

Browse the full LICS paper archive.