ftp://info.mcs.anl.gov/pub/tech_reports/
This ftp site directory contains mathematics and computer science preprints and technical memoranda, available as either .dvi or .ps files. Sources for these technical reports include the Argonne National Laboratory and Newsletters of the Association for Automated Reasoning.