An analysis of Karp's interpolation theorem and the notion of k- consistency property
scientific article; zbMATH DE number 3762032