, I-IV, Undecidability and reflexive substitution, in L. Gabriel (ed.), Sektionen I-IV, Freiburg-Basel-Wien, Herder, pp. 49-56.