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