Komplexitaet von entscheidungsproblemen : EIN SEMINAR - Specker, Ernst (Lecture Notes in Computer Science ;, 1976)