References
Jouko Väänänen
(2000-2009)
X(2008). The Craig interpolation theorem in abstract model theory. Synthese, 164 (3), 401-420. https://doi.org/10.1007/s11229-008-9357-z.
with Abramsky, S. (2009). From if to bi. Synthese, 167 (2), 207-230. https://doi.org/10.1007/s11229-008-9415-6.