Halteprobleme von Fang-Systemen (Tag Systems). Bernhard Falkenberg (1980) Archiv für mathematische Logik und Grundlagenforschung
Horn clause programs and recursive functions defined by systems of equations Jan Šebelík (1982) Kybernetika