The complexity of homomorphisms and renamings for minimal unsatisfiable formulas
scientific article; zbMATH DE number 2168186