1. Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. Issue 1 (30th January 2021) Authors: KARIMI, ARASH; ZHANG, HENG; YOU, JIA-HUAI Journal: Theory and practice of logic programming Issue: Volume 21:Issue 1(2021) Page Start: 4 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗