| Publication | Date of Publication | Type |
|---|
| Possible models computation and revision -- a practical approach | 2022-11-09 | Paper |
| Combining event calculus and description logic reasoning via logic programming | 2022-03-24 | Paper |
| The Fusemate logic programming system | 2021-12-01 | Paper |
| Hierarchic superposition revisited | 2020-06-04 | Paper |
| Blocking and other enhancements for bottom-up model generation methods | 2020-03-03 | Paper |
| Model elimination without contrapositives | 2020-01-21 | Paper |
| Hyper tableaux | 2019-10-08 | Paper |
| Tableaux for diagnosis applications | 2019-01-15 | Paper |
| Tableaux for policy synthesis for MDPs with PCTL* constraints | 2018-02-02 | Paper |
| In memory of Mark Stickel | 2016-05-26 | Paper |
| SMTtoTPTP – A Converter for Theorem Proving Formats | 2015-12-02 | Paper |
| Beagle – A Hierarchic Superposition Theorem Prover | 2015-12-02 | Paper |
| Finite Quantification in Hierarchic Theorem Proving | 2014-09-26 | Paper |
| Proving Infinite Satisfiability | 2014-01-17 | Paper |
| Tableaux for Verification of Data-Centric Processes | 2013-10-04 | Paper |
| Hierarchic Superposition with Weak Abstraction | 2013-06-14 | Paper |
| A combined superposition and model evolution calculus | 2012-07-31 | Paper |
| Model evolution with equality -- revised and implemented | 2012-06-20 | Paper |
| The TPTP Typed First-Order Form with Arithmetic | 2012-06-15 | Paper |
| Model Evolution with Equality Modulo Built-in Theories | 2011-07-29 | Paper |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation | 2010-02-19 | Paper |
| Superposition and Model Evolution Combined | 2009-07-28 | Paper |
| The model evolution calculus as a first-order DPLL method | 2009-07-17 | Paper |
| Computing finite models by reduction to function-free clause logic | 2009-03-25 | Paper |
| Blocking and Other Enhancements for Bottom-Up Model Generation Methods | 2009-03-12 | Paper |
| Hyper Tableaux with Equality | 2009-03-06 | Paper |
| (LIA) - Model Evolution with Linear Integer Arithmetic Constraints | 2009-01-27 | Paper |
| Lemma Learning in the Model Evolution Calculus | 2008-05-27 | Paper |
| KI 2004: Advances in Artificial Intelligence | 2008-03-14 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| Computing answers with model elimination | 2003-08-28 | Paper |
| Automated deduction techniques for the management of personalized documents | 2003-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530455 | 2002-06-03 | Paper |
| Automated deduction techniques for the management of personalized documents. (Extended abstract) | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767083 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524784 | 2001-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524787 | 2001-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723420 | 2001-07-05 | Paper |
| Theorem proving techniques for view deletion in databases | 2001-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940932 | 2000-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263168 | 2000-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934523 | 2000-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940934 | 2000-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263006 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4261066 | 1999-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255506 | 1999-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838803 | 1999-04-19 | Paper |
| Theory reasoning in connection calculi | 1999-01-28 | Paper |
| A disjunctive positive refinement of model elimination and its application to subsumption deletion | 1998-04-15 | Paper |
| Linear and unit-resulting refutations for Horn theories | 1997-04-21 | Paper |
| Consolution as a framework for comparing calculi | 1994-05-05 | Paper |
