Kostrzycka, Zofia. 2018. “On Interpolation in NEXT(KB.Alt(2))”. Bulletin of the Section of Logic 47 (3):159–170. https://doi.org/10.18778/0138-0680.47.3.02.