The Other Linear Logic (Invited Paper). - Mikhail A. Taitslin; D. Arkhangelsky (Formal Methods in Programming and Their Applications, 1993)