Dmitry A. Archangelsky Mikhail A. Taitslin Modular Linear Logic. 1-8 1992 conf/lfcs/1992 LFCS db/conf/lfcs/lfcs1992.html#ArchangelskyT92