| Unification theory JH Siekmann Journal of Symbolic computation 7 (3-4), 207-274, 1989 | 371 | 1989 |
| Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970 J Siekmann, G Wrightson Springer Science & Business Media, 2012 | 299 | 2012 |
| Ωmega: Towards a mathematical assistant C Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M Kerber, ... Automated Deduction—CADE-14: 14th International Conference on Automated …, 1997 | 236 | 1997 |
| Universal unification JH Siekmann International Conference on Automated Deduction, 1-42, 1984 | 230 | 1984 |
| Holonic multiagent systems: A foundation for the organisation of multiagent systems K Fischer, M Schillo, J Siekmann International conference on industrial applications of holonic and multi …, 2003 | 200 | 2003 |
| Holonic multi-agent systems C Gerber, J Siekmann, G Vierke | 182 | 1999 |
| ActiveMath: An Intelligent Tutoring System for Mathematics E Melis, J Siekmann International Conference on Artificial Intelligence and Soft Computing, 91-101, 2004 | 171 | 2004 |
| Knowledge-based proof planning E Melis, J Siekmann Artificial Intelligence 115 (1), 65-105, 1999 | 125 | 1999 |
| An order-sorted logic for knowledge representation systems C Beierle, U Hedtstück, U Pletat, PH Schmitt, J Siekmann Artificial intelligence 55 (2-3), 149-191, 1992 | 121 | 1992 |
| Proof Development with Ωmega J Siekmann, C Benzmüller, V Brezhnev, L Cheikhrouhou, A Fiedler, ... Automated Deduction—CADE-18: 18th International Conference on Automated …, 2002 | 116 | 2002 |
| Unification theory JH Siekmann Decision Support Systems 6 (4), 315-337, 1990 | 90 | 1990 |
| Ω-MKRP: A proof development environment X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, ... Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994 | 83 | 1994 |
| Unification in abelian semigroups A Herold, JH Siekmann Journal of Automated Reasoning 3, 247-283, 1987 | 82 | 1987 |
| Concept logics F Baader, HJ Bürckert, B Hollunder, W Nutt, JH Siekmann Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 …, 1990 | 68 | 1990 |
| Computer supported mathematics with ΩMEGA J Siekmann, C Benzmüller, S Autexier Journal of Applied Logic 4 (4), 533-559, 2006 | 66 | 2006 |
| LΩUI: Lovely ΩMEGA user interface J Siekmann, S Hess, C Benzmüller, L Cheikhrouhou, A Fiedler, ... Formal Aspects of Computing 11 (3), 326-342, 1999 | 66 | 1999 |
| A Wizard-of-Oz experiment for tutorial dialogues in mathematics C Benzmüller, A Fiedler, M Gabsdil, H Horacek, I Kruijff-Korbayová, ... Proceedings of the AIED Workshop on Advanced Technologies for Mathematics …, 2003 | 65 | 2003 |
| Tutorial dialogs on mathematical proofs C Benzmüller, A Fiedler, M Gabsdil, H Horacek, I Kruijff-Korbayová, ... Proceedings of IJCAI-03 Workshop on Knowledge Representation and Automated …, 2003 | 63 | 2003 |
| Deduction in the verification support environment (VSE) D Hutter, B Langenstein, C Sengler, JH Siekmann, W Stephan, ... FME'96: Industrial Benefit and Advances in Formal Methods: Third …, 1996 | 63 | 1996 |
| Opening the AC-unification race HJ Bürckert, A Herold, D Kapur, JH Siekmann, ME Stickel, M Tepp, ... Journal of Automated Reasoning 4, 465-474, 1988 | 59 | 1988 |
