Automated deduction in additive and multiplicative linear logic (1992)

by G Perrier D Galmiche
Venue:In LFCS '92: Logic at Tver, LNCS v. 620