Allwein G, Harrison WL, Reynolds T. Distributed Relation Logic. LLP [Internet]. 2016 Jul. 19 [cited 2024 Apr. 19];26(1):19-61. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2016.017