Mohammad Ardeshir Wim Ruitenburg Basic Propositional Calculus II. Interpolation. 349-364 2001 40 Arch. Math. Log. 5 http://dx.doi.org/10.1007/PL00003844 db/journals/aml/aml40.html#ArdeshirR01