The seventeen provers of the world - Wiedijk, Freek, 1961- (Lecture notes in computer science, Lecture notes in artificial intelligence, 2006)