Enumeration of minimal models and MUSes in WASP
scientific article; zbMATH DE number 7671876