Extending Intuitionistic Linear Logic with Knotted Structural Rules. - Ryuichi Hori; Hiroakira Ono; Harold Schellinx (Notre Dame J. Formal Log., 1994)