Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints.

Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhotk

Browse the full ECOOP paper archive.