Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings - McAllester, David; McAllester, David (Springer Berlin Heidelberg : Imprint: Springer, 2000)