Craig Interpolation for Guarded Fragments

Published in DPFO 2023, 2023