Resolution Methods for the Decision Problem (Lecture Notes in Computer Science)