MR K P SCHUPKE <k.schupke at imperial.ac.uk> writes: > Is it just me or is "citeseer.nj.nec.com" down? Citeseer appears to have moved to http://citeseer.ist.psu.edu/