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