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