Return to Article Details Algebraic Characterization of the Local Craig Interpolation Property Download Download PDF