Many thanks to the anonymous poster who commented on Citeseer being down. He or she pointed out that there is a mirror of Citeseer here.
In a way this is a red letter day for me. I asked a question on my weblog, and I got an answer. Pretty cool. Dave can ask any question under the sun, and he gets an answer in about a minute from one of his billion readers. I'm very pleased to get an answer with my rather more modest readership.