[S2] ================================================ AMAST Links 02 07

              WWW Database of Automated Reasoning Systems

  I have finally made a web page for my database of automated 
reasoning systems and tools (and added many new entries) at URL:
   http://www-formal.stanford.edu/clt/ARS/ars-db.html

  If you find errors or missing links please let me know.  I am 
still gathering data and making new entries
(a never ending process it seems.)

  Enjoy

  Carolyn Talcott's home page can be visited at URL: 
   http://www-formal.stanford.edu/clt/home.html