Chlebowski, S. and Leszczyńska-Jasion, D. (2019) “An Investigation into Intuitionistic Logic with Identity”, Bulletin of the Section of Logic, 48(4), pp. 259–283. doi: 10.18778/0138-0680.48.4.02.