Online Enumeration of All Minimal Inductive Validity Cores

Publication
In Software Engineering and Formal Methods - 16th International Conference