Automated reasoning : first International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings - Goré, Rajeev; Leitsch, Alexander, 1952-; Nipkow, Tobias, 1958- (Lecture notes in computer science, 2001)