Papers with the
symbol are available in gzipped PostScript,
Papers with the
symbol are available DjVu format, which
is more compact, more appropriate for on-line browsing, and the only thing
around for scanned documents.
You need the DjVu plug-in to view the DjVu documents.
This publication list is also available in bibTeX format.