Guarded Saturation: Rewriting the Infinite Chase for Guarded TGDs - Benedikt, Michael; Buron, Maxime; Germano, Stefano; Kappelmann, Kevin; Motik, Boris (2024)