<a href="ftp://ftp.cs.utexas.edu/pub/bshults/ATP-tech-reports/INDEX.html">Here is an index</a> of electronically-available tech-reports from our <a href="ftp://ftp.cs.utexas.edu/pub/bshults">FTP site</a>.</h4>
