The 17th International Conference on Automated Deduction Pittsburgh, USA, 17th June 2000
Competition Divisions' Results
Results Graphs