| 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 |
| Subsumption algorithms based on search trees | 2023-02-23 | Paper |
| Proof normalization for resolution and paramodulation | 2022-12-09 | Paper |
| Associative-commutative discrimination nets | 2022-11-02 | Paper |
| Buchberger's algorithm: A constraint-based completion procedure | 2022-08-16 | Paper |
| Ordered chaining for total orderings | 2020-01-21 | Paper |
| D-bases for polynomial ideals over commutative noetherian rings | 2017-11-17 | Paper |
| A critical pair criterion for completion modulo a congruence | 2011-04-16 | Paper |
| Computational Science – ICCS 2005 | 2005-11-30 | Paper |
| Artificial Intelligence and Symbolic Computation | 2005-08-19 | Paper |
| Ordered chaining calculi for first-order theories of transitive relations | 2005-01-25 | Paper |
| Abstract congruence closure | 2004-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2751353 | 2002-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723409 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723421 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524792 | 2001-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518873 | 2001-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938606 | 2000-02-23 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4247081 | 1999-06-16 | 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 |
| Equational inference, canonical proofs, and proof orderings | 1994-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282593 | 1994-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4000281 | 1993-01-23 | Paper |
| Associative-commutative reduction orderings | 1993-01-16 | Paper |
| Completion for rewriting modulo a congruence | 1989-01-01 | Paper |
| Critical pair criteria for completion | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809306 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783521 | 1986-01-01 | Paper |
| Termination orderings for associative-commutative rewriting systems | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3696500 | 1985-01-01 | Paper |
| A simplified proof of the characterization theorem for Gröbner-bases | 1980-01-01 | Paper |
