Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings - Voronkov, Andrei; Voronkov, Andrei (Springer Berlin Heidelberg : Imprint: Springer, 2002)