Frank Neven, Thomas Schwentick, Christopher Spinrath, Brecht Vandevoort. Parallel-Correctness and Parallel-Boundedness for Datalog Programs. In Pablo Barceló, Marco Calautti, editors, 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal. Volume 127 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
@inproceedings{NevenSSV19, title = {Parallel-Correctness and Parallel-Boundedness for Datalog Programs}, author = {Frank Neven and Thomas Schwentick and Christopher Spinrath and Brecht Vandevoort}, year = {2019}, doi = {10.4230/LIPIcs.ICDT.2019.14}, url = {http://dx.doi.org/10.4230/LIPIcs.ICDT.2019.14}, researchr = {https://researchr.org/publication/NevenSSV19}, cites = {0}, citedby = {0}, booktitle = {22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal}, editor = {Pablo Barceló and Marco Calautti}, volume = {127}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-95977-101-6}, }