Die m-Grade logischer Entscheidungsprobleme. E. Börger, Klaus Heidler (1975) Archiv für mathematische Logik und Grundlagenforschung