Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings - Rajeev Goré, Alexander Leitsch, Tobias Nipkow ((Lecture Notes in Computer Science))