I have finally made a web page for my database of automated reasoning systems and tools (and added many new entries). The url for the page is 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 http://www-formal.stanford.edu/clt/home.html