Kostrzycka, Z. (2016). Interpolation in Normal Extensions of the Brouwer Logic. Bulletin of the Section of Logic, 45(3/4), 171–184. https://doi.org/10.18778/0138-0680.45.3.4.03