Automated Deduction in Additive and Multiplicative Linear Logic

@inproceedings{Galmiche1992AutomatedDI,
  title={Automated Deduction in Additive and Multiplicative Linear Logic},
  author={Didier Galmiche and Guy Perrier},
  booktitle={LFCS},
  year={1992}
}