[hoekit]

For those who want a local copy, below might help:

$ wget -r -p --tries=3 -nc --no-parent http://infolab.stanford.edu/~ullman/focs.html

Fetches the focs.html file (and all other under ~ullman too!). My wget-fu isn't that great. :)