Pawel Urzyczyn A Simple Proof of the Undecidability of Strong Normalisation. 5-13 2003 13 Mathematical Structures in Computer Science 1 db/journals/mscs/mscs13.html#Urzyczyn03