Efficiently Computable Datalog∃ Programs.

Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri

Browse the full KR paper archive.