Automated Deduction in Additive and Multiplicative Linear Logic.

Didier Galmiche, Guy Perrier

Browse the full LFCS paper archive.