Z. Kostrzycka, “Interpolation in Normal Extensions of the Brouwer Logic”, B Sect Log, vol. 45, no. 3/4, pp. 171–184, Dec. 2016.