Handbook of logic in artificial intelligence and logic programming: Volume 5: Logic programming DM Gabbay, CJ Hogger, JA Robinson Clarendon Press, 1998 | 456 | 1998 |

Ωmega: Towards a mathematical assistant C Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M Kerber, ... International Conference on Automated Deduction, 252-255, 1997 | 227 | 1997 |

Integrating computer algebra into proof planning M Kerber, M Kohlhase, V Sorge Journal of Automated Reasoning 21 (3), 327-355, 1998 | 80 | 1998 |

Ω-MKRP: A proof development environment X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, ... International Conference on Automated Deduction, 788-792, 1994 | 78 | 1994 |

What makes a problem hard for XCS? T Kovacs, M Kerber International Workshop on Learning Classifier Systems, 80-99, 2000 | 72 | 2000 |

A mechanization of strong Kleene logic for partial functions M Kerber, M Kohlhase International Conference on Automated Deduction, 371-385, 1994 | 56 | 1994 |

How to prove higher order theorems in first order logic M Kerber | 49 | 1999 |

On the Representation of Mathematical Concepts and their Translation into First-Order Logic M Kerber | 38 | 1999 |

Combined reasoning by automated cooperation C Benzmüller, V Sorge, M Jamnik, M Kerber Journal of Applied Logic 6 (3), 318-342, 2008 | 37 | 2008 |

A tableau calculus for partial functions M Kerber, M Kohlhase Collegium Logicum, 21-49, 1996 | 35 | 1996 |

Methods-the basic units for planning and verifying proofs X Huang, M Kerber, M Kohlhase | 29 | 1999 |

Common syntax of the DFG-Schwerpunktprogramm deduktion version 1.5 R Hähnle, M Kerber, C Weidenbach, RA Schmidt HLS+ 96] DIETER HUTTER, BRUNO LANGENSTEIN, CLAUS SENGLER, JORG, 1996 | 29 | 1996 |

Automatic learning of proof methods in proof planning M Jamnik, M Kerber, M Pollet, C Benzmüller Logic Journal of the IGPL 11 (6), 647-673, 2003 | 28 | 2003 |

Keim: A toolkit for automated deduction X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, ... International Conference on Automated Deduction, 807-810, 1994 | 28 | 1994 |

Model problems in PDE-constrained optimization E Haber, L Hanson Report, Emory University, 2007 | 27 | 2007 |

Planning mathematical proofs with methods X Huang, M Kerber, L Cheikhrouhou, J Richts, A Sehn | 27 | 1999 |

Integrating computer algebra with proof planning M Kerber, M Kohlhase, V Sorge International Symposium on Design and Implementation of Symbolic Computation …, 1996 | 27 | 1996 |

Experiments with an agent-oriented reasoning system C Benzmüller, M Kerber, M Jamnik, V Sorge Annual Conference on Artificial Intelligence, 409-424, 2001 | 25 | 2001 |

Kinship in Aegean Prehistory? Ancient DNA in Human Bones from Mainland Greece and Crete1 AS Bouwman, KA Brown, TA Brown, ER Chilvers, R Arnott, A Prag Annual of the British School at Athens 104, 293-309, 2009 | 21* | 2009 |

On the use of safety certification practices in autonomous field robot software development: A systematic mapping study JTM Ingibergsson, UP Schultz, M Kuhrmann International Conference on Product-Focused Software Process Improvement …, 2015 | 19 | 2015 |