| Publication | Date of Publication | Type |
|---|
| Investigations into proof structures | 2024-12-16 | Paper |
| Lemmas: generation, selection, application | 2024-05-17 | Paper |
| From Schütte’s Formal Systems to Modern Automated Deduction | 2021-12-03 | Paper |
| Reminiscences of Kurt Schütte | 2021-12-03 | Paper |
| Learning from Łukasiewicz and Meredith: investigations into proof structures | 2021-12-01 | Paper |
| KoMeT | 2020-01-21 | Paper |
| A vision for automated deduction rooted in the connection method | 2018-02-02 | Paper |
| In memory of Mark Stickel | 2016-05-26 | Paper |
| Mind the Divide Surrounding Knowledge Representation | 2015-02-04 | Paper |
| Specifying and Verifying Organizational Security Properties in First-Order Logic | 2010-11-22 | Paper |
| Transition Logic Revisited | 2008-11-13 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470527 | 2004-07-01 | Paper |
| IeanCOP: lean connection-based theorem proving | 2003-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411522 | 2003-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524786 | 2001-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264713 | 1999-10-07 | Paper |
| Let's plan it deductively! | 1999-01-12 | Paper |
| Reduction of cycle unification of type \(Cpg+r\) | 1998-04-20 | Paper |
| Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution | 1998-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3134856 | 1993-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4692618 | 1993-06-05 | Paper |
| Short proofs of the pigeonhole formulas based on the connection method | 1990-01-01 | Paper |
| Constraint satisfaction from a deductive viewpoint | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3833651 | 1988-01-01 | Paper |
| A deductive solution for plan generation | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3732939 | 1986-01-01 | Paper |
| A bibliography on parallel inference machines | 1985-01-01 | Paper |
| Automated inferencing | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3217641 | 1984-01-01 | Paper |
| Matings in matrices | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3954845 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3667967 | 1982-01-01 | Paper |
| A comparative study of several proof procedures | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3945616 | 1982-01-01 | Paper |
| On Matrices with Connections | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917511 | 1980-01-01 | Paper |
| Tautology testing with a generalized matrix reduction method | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4184327 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4144784 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4131707 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103198 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4088305 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4072826 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4069801 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4122842 | 1975-01-01 | Paper |
| An approach to a systematic theorem proving procedure in first-order logic | 1974-01-01 | Paper |
| Schnittelimination in einem Teilsystem der einfachen Typenlogik | 1969-01-01 | Paper |
