Interpolation in First-Order Logic

Published in In B. ten Cate, J. Jung, P. Koopmann, C. Wernhard, and F. Wolter (eds.), Theory and Applications of Craig Interpolation. Ubiquity Press, 2026 (To appear), 2025