C. Weidenbach, U. Brahm, T. Hillenbrand, E. Keen, C. Theobalt, and D. Topić. Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence, page 275--279. Kopenhagen, Denmark, Springer, (2002)