The classical decision problem and partial functions. Motti Abramsky — 1980 Archiv für mathematische Logik und Grundlagenforschung