Online Enumeration of All Minimal Inductive Validity Cores
scientific article; zbMATH DE number 7682348