TY  - JOUR
AU  - Ferro, Ruggero
TI  - An analysis of Karp’s interpolation theorem and the notion of $k$-consistency property
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1981
SP  - 111
EP  - 118
VL  - 65
PB  - Seminario Matematico of the University of Padua
UR  - http://www.numdam.org/item/RSMUP_1981__65__111_0/
LA  - en
ID  - RSMUP_1981__65__111_0
ER  -