Automated deduction - CADE-18 : 18th International Conference on Automated Deduction : Copenhagen, Denmark, July 27-30, 2002 : proceedings - Voronkov, Andrei, 1959- (Lecture notes in computer science, 2002)