G. Allwein, W. L. Harrison, and T. Reynolds, “Distributed Relation Logic”, LLP, vol. 26, no. 1, pp. 19–61, Jul. 2016.