A computational proof of complexity of some restricted counting problems
scientific article; zbMATH DE number 5895903
scientific article