  The ATP tech report series is not being continued currently.  New tech reports are being added to the <a href="http://www.cs.utexas.edu/users/ai-lab/">AI Lab</a> tech report series.<p>
