| Publication | Date of Publication | Type |
|---|
Investigations into proof structures
Journal of Automated Reasoning | 2024-12-16 | Paper |
| Lemmas: generation, selection, application | 2024-05-17 | Paper |
From Schütte’s Formal Systems to Modern Automated Deduction
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
Reminiscences of Kurt Schütte
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
Learning from Łukasiewicz and Meredith: investigations into proof structures
(available as arXiv preprint) | 2021-12-01 | Paper |
\textsf{Ko\(_{\mathsf{M}}\)eT}
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
| A vision for automated deduction rooted in the connection method | 2018-02-02 | Paper |
In memory of Mark Stickel
Journal of Automated Reasoning | 2016-05-26 | Paper |
Mind the divide surrounding knowledge representation
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
Specifying and verifying organizational security properties in first-order logic
Verification, Induction, Termination Analysis | 2010-11-22 | Paper |
Transition Logic Revisited
Logic Journal of the IGPL | 2008-11-13 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2077142 (Why is no real title available?) | 2004-07-01 | Paper |
IeanCOP: lean connection-based theorem proving
Journal of Symbolic Computation | 2003-08-25 | Paper |
| scientific article; zbMATH DE number 1947501 (Why is no real title available?) | 2003-07-09 | Paper |
| scientific article; zbMATH DE number 1552526 (Why is no real title available?) | 2001-07-29 | Paper |
| scientific article; zbMATH DE number 1348461 (Why is no real title available?) | 1999-10-07 | Paper |
Let's plan it deductively!
Artificial Intelligence | 1999-01-12 | Paper |
Reduction of cycle unification of type \(Cpg+r\)
Journal of Computer Science and Technology | 1998-04-20 | Paper |
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution
Journal of the ACM | 1998-02-17 | Paper |
| scientific article; zbMATH DE number 417877 (Why is no real title available?) | 1993-09-20 | Paper |
| scientific article; zbMATH DE number 194631 (Why is no real title available?) | 1993-06-05 | Paper |
Short proofs of the pigeonhole formulas based on the connection method
Journal of Automated Reasoning | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4110158 (Why is no real title available?) | 1988-01-01 | Paper |
Constraint satisfaction from a deductive viewpoint
Artificial Intelligence | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3965414 (Why is no real title available?) | 1986-01-01 | Paper |
A deductive solution for plan generation
New Generation Computing | 1986-01-01 | Paper |
A bibliography on parallel inference machines
Journal of Symbolic Computation | 1985-01-01 | Paper |
Automated inferencing
Journal of Symbolic Computation | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3883646 (Why is no real title available?) | 1984-01-01 | Paper |
Matings in matrices
Communications of the ACM | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3774914 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3821127 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3763335 (Why is no real title available?) | 1982-01-01 | Paper |
A comparative study of several proof procedures
Artificial Intelligence | 1982-01-01 | Paper |
On Matrices with Connections
Journal of the ACM | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3729473 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3621125 (Why is no real title available?) | 1979-01-01 | Paper |
Tautology testing with a generalized matrix reduction method
Theoretical Computer Science | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3574965 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3560794 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3526306 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3507979 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3490446 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3487016 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3548475 (Why is no real title available?) | 1975-01-01 | Paper |
An approach to a systematic theorem proving procedure in first-order logic
Computing | 1974-01-01 | Paper |
Schnittelimination in einem Teilsystem der einfachen Typenlogik
Archiv für Mathematische Logik und Grundlagenforschung | 1969-01-01 | Paper |
