@article{GDZPPN002044668,
title = {On interpolation when function symbols are present.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
volume = {17},
year = {1975},
pages = {145-158},
zbl = {0339.02011},
url = {http://dml.mathdoc.fr/item/GDZPPN002044668}
}
Felscher, Walter. On interpolation when function symbols are present.. Archiv für mathematische Logik und Grundlagenforschung, Tome 17 (1975) pp. 145-158. http://gdmltest.u-ga.fr/item/GDZPPN002044668/