Restricted Chase (Non)Termination for Existential Rules with Disjunctions.

David Carral, Irina Dragoste, Markus Krtzsch

Browse the full IJCAI paper archive.