Craig Interpolation for Guarded Fragments

Published in DPFO 2024, 2023