Alex Häussler. Polynomial bescränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems. In Ernst Specker, Volker Strassen, editors, Komplexität von Entscheidungsproblemen, Ein Seminar. Volume 43 of Lecture Notes in Computer Science, pages 20-35, Springer, 1976.
Abstract is missing.