Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study

Open in new window