Craig Interpolation for Decidable First-Order Fragments

Published in LMCS 21(3): 22:1-22:23, 2024