Nadia Creignou Miki Hermann Complexity of Generalized Satisfiability Counting Problems. 1-12 1996 125 Inf. Comput. 1 db/journals/iandc/iandc125.html#CreignouH96 https://doi.org/10.1006/inco.1996.0016 https://www.wikidata.org/entity/Q64385460