Benedikt, M., Buron, M., Germano, S., Kappelmann, K., & Motik, B. (2024). Guarded Saturation: Rewriting the Infinite Chase for Guarded TGDs (Version 1.0.0) [Computer software]. https://doi.org/10.5281/zenodo.13742500