3 citations · 3 across the 1 of their papers we have counts for
1 paper
Arash Karimi, Heng Zhang, Jia-Huai You
The chase procedure for existential rules is an indispensable tool for several database applications, where its termination guarantees the decidability of these tasks. Most previou…