Using local search to find MSSes and MUSes
scientific article; zbMATH DE number 5642905