Craig Interpolation for Decidable First-Order Fragments

Published in FoSSaCS 2024, 2024