Chlebowski, S.; Leszczyńska-Jasion, D. An Investigation into Intuitionistic Logic With Identity. B Sect Log 2019, 48, 259–283.