Graham Wrightson

Michael R. Fellows, Stefan Szeider, Graham Wrightson: On finding short resolution refutations and small unsatisfiable subsets. Theor. Comput. Sci. 351(3): 351-359 (2006)

Michael R. Fellows, Stefan Szeider, Graham Wrightson: On Finding Short Resolution Refutations and Small Unsatisfiable Subsets. IWPEC 2004: 223-234

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)

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

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)

Bruce Davies, Graham Wrightson: An approach to strategies in concurrent systems. Electr. Notes Theor. Comput. Sci. 31: 33 (2000)

Jo Coldwell, Graham Wrightson: Analytic Tableaux and Model Elimination. Australian Computer Journal 30(1): 1-11 (1998)

Andreas Furche, Graham Wrightson: Computer Money - Zahlungssysteme im Internet. dpunkt 1997, isbn 978-3-920993-55-3, pp. I-X, 1-126

Ljiljana Brankovic, Peter Horák, Mirka Miller, Graham Wrightson: Usability of Compromise-Free Statistical Databases. SSDBM 1997: 144-154

Andreas Furche, Graham Wrightson: Computer money - a systematic overview of electronic payment systems. dpunkt 1996, isbn 978-3-920993-54-6, pp. I-XII, 1-108

Kevin Wallace, Graham Wrightson: Regressive Merging in Model Elimination Tableau-Based Theorem Provers. Logic Journal of the IGPL 3(6): 921-937 (1995)

Graham Wrightson, Jo Coldwell: A Truncation Technique for Clausal Analytic Tableaux. Inf. Process. Lett. 42(5): 271-281 (1992)

Graham Wrightson: Research into Analytic Tableaux. TABLEAUX 1992: 85-87

Bertram Fronhöfer, Graham Wrightson (Eds.): Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings. Lecture Notes in Computer Science 590, Springer 1992, isbn 3-540-55425-4

Graham Wrightson: Nonclassical Logic Theorem Proving. J. Autom. Reasoning 1(1): 35-37 (1985)

Hans Jürgen Ohlbach, Graham Wrightson: Solving a Problem in Relevance Logic with an Automated Theorem Prover. CADE 1984: 496-508

Jörg H. Siekmann, Graham Wrightson: Paramodulated Connection Graphs. Acta Inf. 13: 67-86 (1980)

Graham Wrightson: On the Treatment of Equivalence Connectives in Automated Theorem Proving. GI Jahrestagung 1980: 428

Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson: Paramodulated Connection Graphs. AISB/GI (ECAI) 1978: 105-109

Rudolf Peschke, Graham Wrightson: Ein methodisch-didaktisches Konzept für Simulationsprogramme im RGU. RGU 1974: 63-71