Resolution Methods for the Decision Problem door A. Leitsch, C. Ferm]ller & Tanel Tammet