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