| 2006 |
|---|
| 18 | EE | Michael R. Fellows,
Stefan Szeider,
Graham Wrightson:
On finding short resolution refutations and small unsatisfiable subsets.
Theor. Comput. Sci. 351(3): 351-359 (2006) |
| 2004 |
|---|
| 17 | EE | Michael R. Fellows,
Stefan Szeider,
Graham Wrightson:
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets.
IWPEC 2004: 223-234 |
| 2002 |
|---|
| 16 | EE | Jörg H. Siekmann,
Graham Wrightson:
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.
Computational Logic: Logic Programming and Beyond 2002: 231-252 |
| 15 | EE | Jörg H. Siekmann,
Graham Wrightson:
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.
Logic Journal of the IGPL 10(1): 85-103 (2002) |
| 2001 |
|---|
| 14 | EE | Jörg H. Siekmann,
Graham Wrightson:
Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution.
J. ACM 48(1): 145-147 (2001) |
| 2000 |
|---|
| 13 | EE | Bruce Davies,
Graham Wrightson:
An approach to strategies in concurrent systems.
Electr. Notes Theor. Comput. Sci. 31: (2000) |
| 1998 |
|---|
| 12 | | Jo Coldwell,
Graham Wrightson:
Analytic Tableaux and Model Elimination.
Australian Computer Journal 30(1): 1-11 (1998) |
| 1997 |
|---|
| 11 | EE | Ljiljana Brankovic,
Peter Horák,
Mirka Miller,
Graham Wrightson:
Usability of Compromise-Free Statistical Databases
SSDBM 1997: 144-154 |
| 1995 |
|---|
| 10 | EE | Kevin Wallace,
Graham Wrightson:
Regressive Merging in Model Elimination Tableau-Based Theorem Provers.
Logic Journal of the IGPL 3(6): 921-937 (1995) |
| 1992 |
|---|
| 9 | | Bertram Fronhöfer,
Graham Wrightson:
Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings
Springer 1992 |
| 8 | | Graham Wrightson:
Research into Analytic Tableaux.
TABLEAUX 1992: 85-87 |
| 7 | | Graham Wrightson,
Jo Coldwell:
A Truncation Technique for Clausal Analytic Tableaux.
Inf. Process. Lett. 42(5): 271-281 (1992) |
| 1985 |
|---|
| 6 | | Graham Wrightson:
Nonclassical Logic Theorem Proving.
J. Autom. Reasoning 1(1): 35-37 (1985) |
| 1984 |
|---|
| 5 | | Hans Jürgen Ohlbach,
Graham Wrightson:
Solving a Problem in Relevance Logic with an Automated Theorem Prover.
CADE 1984: 496-508 |
| 1980 |
|---|
| 4 | | Graham Wrightson:
On the Treatment of Equivalence Connectives in Automated Theorem Proving.
GI Jahrestagung 1980: 428 |
| 3 | | Jörg H. Siekmann,
Graham Wrightson:
Paramodulated Connection Graphs.
Acta Inf. 13: 67-86 (1980) |
| 1978 |
|---|
| 2 | | Norbert Eisinger,
Jörg H. Siekmann,
Graham Wrightson:
Paramodulated Connection Graphs.
AISB/GI (ECAI) 1978: 105-109 |
| 1974 |
|---|
| 1 | | Rudolf Peschke,
Graham Wrightson:
Ein methodisch-didaktisches Konzept für Simulationsprogramme im RGU.
RGU 1974: 63-71 |
