Kostrzycka Z. Interpolation in Normal Extensions of the Brouwer Logic. B Sect Log. 2016;45(3/4):171–184. doi:10.18778/0138-0680.45.3.4.03