| Publication | Date of Publication | Type |
|---|
| Dissolver: A dissolution-based theorem prover | 2023-04-28 | Paper |
| Computing prime implicates by pruning the search space and accelerating subsumption | 2018-02-13 | Paper |
| Identifying Prime Implicate Branches in Reduced Implicate Tries | 2010-06-17 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| Reduced Implicate Tries with Updates | 2010-02-19 | Paper |
| Prime Implicate Tries | 2009-12-01 | Paper |
| Duality in Knowledge Compilation Techniques | 2008-03-17 | Paper |
| Normal Forms for Knowledge Compilation | 2008-03-17 | Paper |
| Updating Reduced Implicate Tries | 2008-01-04 | Paper |
| Efficient query processing with reduced implicate tries | 2007-05-04 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692880 | 2005-09-28 | Paper |
| Linearity and regularity with negation normal form | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046854 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4540005 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766946 | 2002-04-25 | Paper |
| \(\mho\)-resolution and hybrid knowledge bases | 2001-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501669 | 2001-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4956020 | 2000-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246967 | 1999-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4366602 | 1999-05-03 | Paper |
| A framework for automated reasoning in multiple-valued logics | 1999-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838812 | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4360109 | 1998-01-21 | Paper |
| CNF and DNF considered harmful for computing prime implicants/implicates | 1997-09-17 | Paper |
| Fast subsumption checks using anti-links | 1997-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4314600 | 1995-05-01 | Paper |
| On the relative merits of path dissolution and the method of analytic tableaux | 1995-03-29 | Paper |
| On the Computational Intractability of Analytic Tableau Methods | 1995-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282528 | 1994-08-31 | Paper |
| Dissolution | 1993-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3972130 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5750421 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3804233 | 1988-01-01 | Paper |
| Inference with path resolution and semantic graphs | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783624 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4728268 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3751043 | 1985-01-01 | Paper |
| Completely non-clausal theorem proving | 1982-01-01 | Paper |
