| Publication | Date of Publication | Type |
|---|
SCAN -- elimination of predicate quantifiers
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
| Design patterns for mathematical proofs. A guide, in particular for computer scientists | 2017-12-04 | Paper |
| Modelling periodic temporal notions by labelled partitionings -- the PartLib library | 2011-07-06 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
| scientific article; zbMATH DE number 1827446 (Why is no real title available?) | 2002-11-13 | Paper |
| Encoding two-valued nonclassical logics in classical logic | 2002-09-16 | Paper |
The Possibility of Generating True Conjectures
Journal Of Logic And Computation | 2002-06-23 | Paper |
Functional translation and second-order frame properties of modal logics
Journal Of Logic And Computation | 2001-11-25 | Paper |
| How to augment a formal system with a Boolean algebra component | 2001-09-03 | Paper |
| scientific article; zbMATH DE number 1421198 (Why is no real title available?) | 2000-12-26 | Paper |
| scientific article; zbMATH DE number 1444736 (Why is no real title available?) | 2000-05-09 | Paper |
Calendar Logic
Journal of Applied Non-Classical Logics | 2000-02-08 | Paper |
| scientific article; zbMATH DE number 1354163 (Why is no real title available?) | 1999-10-28 | Paper |
Modal logics, description logics and arithmetic reasoning
Artificial Intelligence | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1303346 (Why is no real title available?) | 1999-06-17 | Paper |
Elimination of self-resolving clauses
Journal of Automated Reasoning | 1998-11-26 | Paper |
| scientific article; zbMATH DE number 970635 (Why is no real title available?) | 1997-11-05 | Paper |
| scientific article; zbMATH DE number 877750 (Why is no real title available?) | 1997-03-31 | Paper |
A multi-dimensional terminological knowledge representation language
Journal of Applied Non-Classical Logics | 1996-03-06 | Paper |
A note on assumptions about Skolem functions
Journal of Automated Reasoning | 1995-12-20 | Paper |
Towards automating duality
Computers & Mathematics with Applications | 1995-02-02 | Paper |
Translation Methods for Non-Classical Logics: An Overview
Logic Journal of the IGPL | 1994-05-15 | Paper |
| scientific article; zbMATH DE number 517003 (Why is no real title available?) | 1994-03-17 | Paper |
| scientific article; zbMATH DE number 67510 (Why is no real title available?) | 1992-09-27 | Paper |
Reduction rules for resolution-based systems
Artificial Intelligence | 1992-06-28 | Paper |
Semantics-Based Translation Methods for Modal Logics
Journal Of Logic And Computation | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4055570 (Why is no real title available?) | 1988-01-01 | Paper |
Link inheritance in abstract clause graphs
Journal of Automated Reasoning | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3986668 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3990906 (Why is no real title available?) | 1986-01-01 | Paper |
Problem corner: The Lion and the Unicorn
Journal of Automated Reasoning | 1985-01-01 | Paper |
Problem corner: Predicate logic hacker tricks
Journal of Automated Reasoning | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3871323 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3858461 (Why is no real title available?) | 1983-01-01 | Paper |
