Z. Gyenis, “Algebraic Characterization of the Local Craig Interpolation Property”, B Sect Log, vol. 47, no. 1, pp. 45–58, Mar. 2018.