Madsen, B. A. (2004) “An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter”, BRICS Report Series, 11(18). doi: 10.7146/brics.v11i18.21843.