S. Chlebowski and D. Leszczyńska-Jasion, “An Investigation into Intuitionistic Logic with Identity”, B Sect Log, vol. 48, no. 4, pp. 259–283, Dec. 2019.