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