Automated reasoning : first international joint conference ; proceedings - Goré, Rajeev (Herausgeber); IJCAR (1 : 2001 : Siena) (Lecture notes in computer science, 2001)