J. M. Byskov, B. A. Madsen, og B. Skjernaa, “New Algorithms for Exact Satisfiability”, BRICS, bd. 10, nr. 30, okt. 2003.