Kostrzycka, Zofia. “On Interpolation in NEXT(KB.Alt(2))”. Bulletin of the Section of Logic 47, no. 3 (October 30, 2018): 159–170. Accessed April 8, 2025. https://czasopisma.uni.lodz.pl/bulletin/article/view/4713.