Allwein, G.; Harrison, W. L.; Reynolds, T. Distributed Relation Logic. LLP 2016, 26, 19-61.