Halteprobleme von Fang-Systemen (Tag Systems). Bernhard Falkenberg — 1980 Archiv für mathematische Logik und Grundlagenforschung