Burton Dreben, Hilary Putnam. The Craig interpolation lemma. Notre Dame Journal of Formal Logic, 8(3):229-233, 1967. [doi]
@article{DrebenP67,
title = {The Craig interpolation lemma},
author = {Burton Dreben and Hilary Putnam},
year = {1967},
doi = {10.1305/ndjfl/1093956088},
url = {http://dx.doi.org/10.1305/ndjfl/1093956088},
researchr = {https://researchr.org/publication/DrebenP67},
cites = {0},
citedby = {0},
journal = {Notre Dame Journal of Formal Logic},
volume = {8},
number = {3},
pages = {229-233},
}