Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri. Magic-Sets for Datalog with Existential Quantifiers. In Pablo Barceló, Reinhard Pichler, editors, Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings. Volume 7494 of Lecture Notes in Computer Science, pages 31-43, Springer, 2012. [doi]
Abstract is missing.