Automated deduction - CADE-17 : 17th International Conference on Automated Deduction : Pittsburgh, PA, USA, June 17-20, 2000 : proceedings - McAllester, David (Lecture notes in computer science, 2000)