| Publication | Date of Publication | Type |
|---|
| Termination proofs of well-moded logic programs via conditional rewrite systems | 2023-03-09 | Paper |
| Compatibility of order-sorted rewrite rules | 2023-03-09 | Paper |
| A comprehensive framework for saturation theorem proving | 2022-12-12 | Paper |
| A comprehensive framework for saturation theorem proving | 2022-11-09 | Paper |
| Superposition with lambdas | 2021-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4989394 | 2021-05-25 | Paper |
| Formalizing Bachmair and Ganzinger's ordered resolution prover | 2020-11-02 | Paper |
| Hierarchic superposition revisited | 2020-06-04 | Paper |
| Superposition with lambdas | 2020-03-10 | Paper |
| Theorem proving in cancellative abelian monoids (extended abstract) | 2019-01-15 | Paper |
| Formalizing Bachmair and Ganzinger's ordered resolution prover | 2018-10-18 | Paper |
| Superposition for \(\lambda\)-free higher-order logic | 2018-10-18 | Paper |
| A transfinite Knuth-Bendix order for lambda-free higher-order terms | 2017-09-22 | Paper |
| A Lambda-Free Higher-Order Recursive Path Order | 2017-05-19 | Paper |
| Extending reduction orderings to ACU-compatible reduction orderings | 2016-06-09 | Paper |
| Modal Tableau Systems with Blocking and Congruence Closure | 2015-12-11 | Paper |
| Beagle – A Hierarchic Superposition Theorem Prover | 2015-12-02 | Paper |
| Finite Quantification in Hierarchic Theorem Proving | 2014-09-26 | Paper |
| Hierarchic Superposition with Weak Abstraction | 2013-06-14 | Paper |
| From Search to Computation: Redundancy Criteria and Simplification at Work | 2013-04-19 | Paper |
| A combined superposition and model evolution calculus | 2012-07-31 | Paper |
| Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces | 2012-07-20 | Paper |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| Superposition and Model Evolution Combined | 2009-07-28 | Paper |
| Automatic Verification of Hybrid Systems with Large Discrete State Space | 2008-09-04 | Paper |
| Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space | 2008-07-03 | Paper |
| An Extension of the Knuth-Bendix Ordering with LPO-Like Properties | 2008-05-15 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Comparing instance generation methods for automated reasoning | 2007-05-04 | Paper |
| Modular proof systems for partial functions with Evans equality | 2006-10-25 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
| Cancellative Abelian monoids and related structures in refutational theorem proving. II | 2003-03-23 | Paper |
| Cancellative Abelian monoids and related structures in refutational theorem proving. I | 2003-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539608 | 2002-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938422 | 2000-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246725 | 1999-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249895 | 1999-06-17 | Paper |
| Refutational theorem proving for hierarchic first-order theories | 1994-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282593 | 1994-04-17 | Paper |
| Semantics of order-sorted specifications | 1992-06-28 | Paper |
