Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhoták: Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. ECOOP 2023: 31:1-31:28