Capturing Homomorphism-Closed Decidable Queries with Existential Rules.
Camille Bourgaux, David Carral, Markus Krtzsch, Sebastian Rudolph, Michal Thomazo
Browse the full KR paper archive.
Camille Bourgaux, David Carral, Markus Krtzsch, Sebastian Rudolph, Michal Thomazo
Browse the full KR paper archive.