Nadia Creignou Miki Hermann Complexity of Generalized Satisfiability Counting Problems. 1-12 1996 125 Inf. Comput. 1 db/journals/iandc/iandc125.html#CreignouH96