Philipp Hanisch, und Markus Krötzsch. Chase Termination Beyond Polynomial Time. Proc. ACM Manag. Data, (2)2:1–17, Association for Computing Machinery, New York, NY, USA, 14.05.2024. [PUMA: imported xack] URL