Die Vollständigkeit einer unverzweigten Variante des "analytischen" Entscheidungsverfahrens der klassischen Logik. P. Lorenzen (1977) Archiv für mathematische Logik und Grundlagenforschung