1. Frank Neven, Thomas Schwentick, Christopher Spinrath and Brecht Vandevoort.
    Parallel-Correctness and Parallel-Boundedness for Datalog Programs.
    In Pablo Barceló and Marco Calautti (eds.). 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal 127. 2019, 14:1–14:19.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/NevenSSV19,
    	author = "Frank Neven and Thomas Schwentick and Christopher Spinrath and Brecht Vandevoort",
    	editor = "Pablo Barcel{\'{o}} and Marco Calautti",
    	title = "Parallel-Correctness and Parallel-Boundedness for Datalog Programs",
    	booktitle = "22nd International Conference on Database Theory, {ICDT} 2019, March 26-28, 2019, Lisbon, Portugal",
    	series = "LIPIcs",
    	volume = 127,
    	pages = "14:1--14:19",
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	year = 2019,
    	url = "https://doi.org/10.4230/LIPIcs.ICDT.2019.14",
    	doi = "10.4230/LIPIcs.ICDT.2019.14",
    	timestamp = "Tue, 14 May 2019 15:18:30 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/icdt/NevenSSV19",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }