Here are some FTP archives that carry files important for deduction.
You may have to find the relevant subdirectories yourself.
For thechnical reports you can also use the UCSTRI Unified Computer Science
Techreport Index,
on-line database for URLs of
computer science technical reports.