A variant of Reiter's hitting-set algorithm
scientific article; zbMATH DE number 1767308