A. Fjellstad, “A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic”, B Sect Log, vol. 55, no. 1, pp. 49–71, Apr. 2026, doi: 10.18778/0138-0680.2026.02.