B. A. Madsen, “An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter”, BRICS, bd. 11, nr. 18, sep. 2004.