| Publication | Date of Publication | Type |
|---|
| Automated reasoning contributes to mathematics and logic | 2023-04-28 | Paper |
| Otter 2.0 | 2023-04-28 | Paper |
| Well-behaved search and the Robbins problem | 2017-11-17 | Paper |
| Automatic proofs and counterexamples for some ortholattice identities | 2016-06-09 | Paper |
| Computer Solutions of Problems in Inverse Semigroups | 2010-05-21 | Paper |
| Semantic Guidance for Saturation Provers | 2009-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5293995 | 2007-07-09 | Paper |
| Uniqueness of Steiner laws on cubic curves | 2007-01-22 | Paper |
| Yet another single law for lattices | 2006-07-12 | Paper |
| Levi's commutator theorems for cancellative semigroups. | 2006-03-22 | Paper |
| Automated discovery of single axioms for ortholattices | 2006-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738480 | 2004-08-11 | Paper |
| Short single axioms for Boolean algebra | 2003-04-28 | Paper |
| Single axioms: With and without computers | 2001-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723435 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264737 | 1999-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255507 | 1999-08-16 | Paper |
| Single identities for lattice theory and for weakly associative lattices | 1998-11-24 | Paper |
| Solution of the Robbins problem | 1998-03-23 | Paper |
| Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups | 1997-12-03 | Paper |
| The application of automated reasoning to questions in mathematics and logic | 1997-05-13 | Paper |
| Automated deduction in equational logic and cubic curves | 1996-08-04 | Paper |
| Single identities for ternary Boolean algebras | 1995-05-01 | Paper |
| Automated reasoning about cubic curves | 1995-02-02 | Paper |
| Single axioms for the left group and right group calculi | 1995-01-22 | Paper |
| Single axioms for groups and abelian groups with various operations | 1994-08-25 | Paper |
| Uniform strategies: The CADE-11 theorem proving contest | 1994-04-12 | Paper |
| Automated discovery of new axiomatizations of the left group and right group calculi | 1994-01-02 | Paper |
| Experiments with discrimination-tree indexing and path indexing for term retrieval | 1993-12-20 | Paper |
| Automated theorem proving and logic programming: a natural symbiosis | 1992-06-25 | Paper |
| The absence and the presence of fixed point combinators | 1991-01-01 | Paper |
| Automated reasoning about elementary point-set topology | 1989-01-01 | Paper |
| Maintaining state constraints in relational databases: a proof theoretic basis | 1989-01-01 | Paper |
| Un-Skolemizing clause sets | 1988-01-01 | Paper |
| Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3804236 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3804240 | 1988-01-01 | Paper |
| A case study in automated theorem proving: Finding sages in combinatory logic | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3750137 | 1986-01-01 | Paper |
| Experiments with semantic paramodulation | 1985-01-01 | Paper |
