August 2009 Update: Final version is available here. July 2009 Update: This paper has been accepted by the JLC. March 2009 Update: The Journal of Logic and Computation (JLC) has sent us back the reviews, and we need a revision before it gets accepted.

It means that most of the people in China could not ‘see’ my website anymore. There is something called the Great Fire Wall(GFW) which is used by our government to censor the Internet.You could do your own test by following this link: http://www.websitepulse.com/help/testtools.china-test.html