Kostrzycka, Z. (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