The 16th International Conference on Automated Deduction Trento, Italy, 9th July 1999
Results Summary
Results Graphs