"Encoding of the Halting Problem into the Monster Type & Applications."

Thierry Joly (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics