Creignouand Hermann. Complexity of Generalized Satisfiability Counting Problems. Elsevier BV, 1996, doi:10.1006/inco.1996.0016.