Brown, C. and Gurr, D. (1991) “Relations and Non-commutative Linear Logic”, DAIMI Report Series, 20(372). doi: 10.7146/dpb.v20i372.6604.