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