Chlebowski, S.; Leszczyńska-Jasion, D. An Investigation into Intuitionistic Logic With Identity. B Sect Log 2019, 48 (4), 259–283. https://doi.org/10.18778/0138-0680.48.4.02.