Madsen, Bolette Ammitzbøll. “An Algorithm for Exact Satisfiability Analysed With the Number of Clauses As Parameter”. BRICS Report Series, bd. 11, nr. 18, september 2004, doi:10.7146/brics.v11i18.21843.