Allwein, Gerard, et al. “Distributed Relation Logic”. Logic and Logical Philosophy, vol. 26, no. 1, July 2016, pp. 19-61, doi:10.12775/LLP.2016.017.