Reihe Lecture Notes in Computer ScienceC. Fermüller × Resolution Methods for the Decision Problem C. FermüllerSpringer BerlineBook2005 Resolution Methods for the Decision Problem C. FermüllerSpringer BerlinSoftcover1993