Automated deduction in additive and multiplicative linear logic

von Galmiche, Didier
Veröffentlicht in International Symposium of logical foundations of computer science. Proceedings. 2.1992 (1992)