| Publication | Date of Publication | Type |
|---|
| On restrictions of ordered paramodulation with simplification | 2023-04-28 | Paper |
| Completion of first-order clauses with equality by strict superposition | 2023-03-09 | Paper |
| Termination proofs of well-moded logic programs via conditional rewrite systems | 2023-03-09 | Paper |
| Inductive theorem proving by consistency for first-order clauses | 2023-03-09 | Paper |
| Completion-time optimization of rewrite-time goal solving | 2022-12-09 | Paper |
| Buchberger's algorithm: A constraint-based completion procedure | 2022-08-16 | Paper |
| Ordered chaining for total orderings | 2020-01-21 | Paper |
| Soft typing for ordered resolution | 2019-10-01 | Paper |
| Theorem proving in cancellative abelian monoids (extended abstract) | 2019-01-15 | Paper |
| Automated complexity analysis based on ordered resolution | 2015-09-20 | Paper |
| RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION | 2015-04-29 | Paper |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| Theory Instantiation | 2008-05-27 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Modular proof systems for partial functions with Evans equality | 2006-10-25 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| Superposition with equivalence reasoning and delayed clause normal form transformation | 2005-08-05 | Paper |
| Ordered chaining calculi for first-order theories of transitive relations | 2005-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818820 | 2004-09-24 | Paper |
| Fast term indexing with coded context trees | 2004-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809070 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809167 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430317 | 2003-10-20 | Paper |
| Resolution theorem proving | 2002-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539609 | 2002-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539638 | 2002-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4529782 | 2002-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329239 | 2002-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762631 | 2002-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524792 | 2001-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938629 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249176 | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249896 | 1999-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249897 | 1999-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255513 | 1999-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246725 | 1999-07-29 | Paper |
| Rewrite-based Equational Theorem Proving with Selection and Simplification | 1994-09-12 | Paper |
| Refutational theorem proving for hierarchic first-order theories | 1994-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282593 | 1994-04-17 | Paper |
| Order-sorted completion: The many-sorted way | 1992-06-26 | Paper |
| A completion procedure for conditional equations | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809250 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3817580 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3817656 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3753472 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709856 | 1986-01-01 | Paper |
| Increasing modularity and language-independency in automatically generated compilers | 1983-01-01 | Paper |
| Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657407 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3660907 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3664415 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3670542 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3668833 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3969854 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3048294 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3048295 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138064 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4094350 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4111086 | 1975-01-01 | Paper |
