(1)
Kostrzycka, Z. Interpolation in Normal Extensions of the Brouwer Logic. B Sect Log 2016, 45, 171–184.