/~vfgo/papers/TIME2012%20-%20Undecidability%20and%20temporal%20logic.%20Some%20landmarks%20from%20Turing%20to%20the%20present.pdf
There is no such user: vfgo