Proof development with Ωmega - Kohlhase, Michael; Siekmann, Jörg; Benzmüller, Christoph; Franke, Andreas; Melis, Erica; Normann, Immanuel; Sorge, Volker; et al. (18th International Conference on Automated Deduction, CADE 2002, 2002)