%0 Journal Article %1 journals/tplp/AlvianoFLM12 %A Alviano, Mario %A Faber, Wolfgang %A Leone, Nicola %A Manna, Marco %D 2012 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 701-718 %T Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. %U http://dblp.uni-trier.de/db/journals/tplp/tplp12.html#AlvianoFLM12 %V 12

@article{journals/tplp/AlvianoFLM12, added-at = {2020-02-13T00:00:00.000+0100}, author = {Alviano, Mario and Faber, Wolfgang and Leone, Nicola and Manna, Marco}, biburl = {https://www.bibsonomy.org/bibtex/299dfa65344e13942457fa357555ad142/dblp}, ee = {https://doi.org/10.1017/S1471068412000257}, interhash = {cd0623d27cce69cc33bbf4421c3a0850}, intrahash = {99dfa65344e13942457fa357555ad142}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {701-718}, timestamp = {2020-02-14T11:44:07.000+0100}, title = {Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp12.html#AlvianoFLM12}, volume = 12, year = 2012 }