Whither Proxies? - Švob, Goran (2005)
Contemporary logical literature invariably reduces relations to sets of ordered n-tuples. In case of identity relation such a practice presents special problems.