Here we maintain a link to MCS's technical report anonymous ftp area.
Most documents are available in compressed dvi or compressed postscript form.
You can download the one of your choice by clicking on the appropriate file name in the table of contents. Books Abstracts and information about recent books by MCS Division members. Preprints Most MCS recent publications are available in preprint form. Occasionally a document will be released internally via the ANL report series. Newsletters The Association for Automated Reasoning Newsletters.