Allwein, G., W. L. Harrison, and T. Reynolds. “Distributed Relation Logic”. Logic and Logical Philosophy, vol. 26, no. 1, July 2016, pp. 19-61, doi:10.12775/LLP.2016.017.