Peter Schuster. Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind. In Ernst Specker, Volker Strassen, editors, Komplexität von Entscheidungsproblemen, Ein Seminar. Volume 43 of Lecture Notes in Computer Science, pages 36-48, Springer, 1976.
Abstract is missing.