C. Brown and D. Gurr, “Relations and Non-commutative Linear Logic”, DPB, vol. 20, no. 372, Nov. 1991.