Bas Ketsman, Christoph Koch 0001. Datalog with Negation and Monotonicity. In Carsten Lutz, Jean Christoph Jung, editors, 23rd International Conference on Database Theory, ICDT 2020, March 30-April 2, 2020, Copenhagen, Denmark. Volume 155 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
Abstract is missing.