Gyenis Z. Algebraic Characterization of the Local Craig Interpolation Property. B Sect Log. 2018;47(1):45–58. doi:10.18778/0138-0680.47.1.04