Proof development with Ωmega

Siekmann, J., Benzmüller, C., Brezhnev, V., Cheikhrouhou, L., Fiedler, A., Franke, A., … Zimmer, J. (2002). Proof development with Ωmega. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2392, pp. 144–149). Springer Verlag. https://doi.org/10.1007/3-540-45620-1_12