Madsen, Bolette Ammitzbøll, og Peter Rossmanith. “Maximum Exact Satisfiability: NP-Completeness Proofs and Exact Algorithms”. BRICS Report Series, bd. 11, nr. 19, oktober 2004, doi:10.7146/brics.v11i19.21844.