S. Ghorbani, “Equality Logic”, B Sect Log, vol. 49, no. 3, pp. 291–324, Nov. 2020, doi: 10.18778/0138-0680.2020.14.