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