I have finally made a web page for my database of automated reasoning systems and tools (and added many new entries).
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.