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