An analysis of Karp’s interpolation theorem and the notion of k -consistency property Ruggero Ferro (1981) Rendiconti del Seminario Matematico della Università di Padova
Analytic Tableaux and Interpolation Miodrag Kapetanović (2007) Publications de l'Institut Mathématique