Gyenis, Z. Algebraic Characterization of the Local Craig Interpolation Property. B Sect Log 2018, 47, 45–58.