A Criterion of Undecidability of Algorithmic Theories.

Wiktor Danko A Criterion of Undecidability of Algorithmic Theories. 605-628 1981 4 Fundam. Inform. 3 db/journals/fuin/fuin4.html#Danko81