paper.pdf
2013-02-03 Christian Urban completed undecidability proof
2013-02-03 Christian Urban updated paper
less more (0) -30 -10 -2 tip