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