A Proof of Ehrenfeucht's Conjecture. - Michael H. Albert; John Lawrence (Theor. Comput. Sci., 1985)

THe non-existence of finite test sets for set-equivalence of finite substitions. - John Lawrence (Bull. EATCS, 1986)

Tarski's Problem for Varieties of Groups with a Commutator Identity. - John Lawrence (J. Symb. Log., 1986)

Test Sets for Finite Substitutions. - Michael H. Albert; John Lawrence (Theor. Comput. Sci., 1986)

Unification in Commutative Rings is Not Finitary. - Stanley Burris; John Lawrence (Inf. Process. Lett., 1990)

Term Rewrite Rules for Finite Fields. - Stanley Burris; John Lawrence (Int. J. Algebra Comput., 1991)

The Equivalence Problem for Finite Rings. - Stanley Burris; John Lawrence (J. Symb. Comput., 1993)

E-Technology V E-Law: Legal Challenges to the Information Society. - Elaine Lawrence; Gordana Culjak; John Lawrence (ICWI, 2003)

Threats to the Mobile Enterprise: Jurisprudence Analysis of Wardriving and Warchalking. - Elaine Lawrence; John Lawrence (ITCC (2), 2004)

The Versatility of Rejewski's Method: Solving for the Wiring of the Second Rotor. - John Lawrence (Cryptologia, 2004)

A Study of Rejewski's Equations. - John Lawrence (Cryptologia, 2005)

Factoring for the Plugboard - Was Rejewski's Proposed Solution for Breaking the Enigma Feasible? - John Lawrence (Cryptologia, 2005)

State complexity and the monoid of transformations of a finite set. - Bryan Krawetz; John Lawrence; Jeffrey O. Shallit (Int. J. Found. Comput. Sci., 2005)

Legal and Technical Issues Management Frameworkfor Peer-to-Peer Networks. - Elaine Lawrence; John Lawrence; Gordana Culjak (J. Theor. Appl. Electron. Commer. Res., 2006)

Pipelining Argumentation Technologies. - Mark Snaith; Joseph Devereux; John Lawrence; Chris Reed 001 (COMMA, 2010)

Using an Argument Ontology to Develop Pedagogical Tool Suites. - Chris Reed 001; Simon Wells; Mark Snaith; Katarzyna Budzynska; John Lawrence (TICTTL, 2011)

Interchanging arguments between Carneades and AIF. - Floris Bex; Thomas F. Gordon; John Lawrence; Chris Reed 001 (COMMA, 2012)

Dialogues on the Argument Web: Mixed Initiative Argumentation with Arvina. - John Lawrence; Floris Bex; Chris Reed 001 (COMMA, 2012)

AIFdb: Infrastructure for the Argument Web. - John Lawrence; Floris Bex; Chris Reed 001; Mark Snaith (COMMA, 2012)

Implementing ArguBlogging. - Mark Snaith; Floris Bex; John Lawrence; Chris Reed 001 (COMMA, 2012)

Determining currents from marine radar data in an extreme current environment at a tidal energy test site. - Paul S. Bell; John Lawrence; Jennifer V. Norris (IGARSS, 2012)

Implementing the argument web. - Floris Bex; John Lawrence; Mark Snaith; Chris Reed 001 (Commun. ACM, 2013)

An Overview of the U.K. Marine Energy Sector. - John Lawrence; Jonathan Sedgwick; Henry Jeffrey; Ian Bryden (Proc. IEEE, 2013)

Mining Arguments From 19th Century Philosophical Texts Using Topic Based Modelling. - John Lawrence; Chris Reed 001; Colin Allen; Simon McAlister; Andrew Ravenscroft (ArgMining@ACL, 2014)

Generalising argument dialogue with the Dialogue Game Execution Platform. - Floris Bex; John Lawrence; Chris Reed 001 (COMMA, 2014)

OVA+: an Argument Analysis Interface. - Mathilde Janier; John Lawrence; Chris Reed 001 (COMMA, 2014)

AIFdb Corpora. - John Lawrence; Chris Reed 001 (COMMA, 2014)

Lakatos Games for Mathematical Argument. - Alison Pease; Katarzyna Budzynska; John Lawrence; Chris Reed 001 (COMMA, 2014)

ArguBlogging: An application for the Argument Web. - Floris Bex; Mark Snaith; John Lawrence; Chris Reed 001 (J. Web Semant., 2014)

Combining Argument Mining Techniques. - John Lawrence; Chris Reed 001 (ArgMining@HLT-NAACL, 2015)

The CASS Technique for Evaluating the Performance of Argument Mining. - Rory Duthie; John Lawrence; Katarzyna Budzynska; Chris Reed 001 (ArgMining@ACL, 2016)

A System for Dispute Mediation: The Mediation Dialogue Game. - Mathilde Janier; Mark Snaith; Katarzyna Budzynska; John Lawrence; Chris Reed 001 (COMMA, 2016)

Argument Analytics. - John Lawrence; Rory Duthie; Katarzyna Budzynska; Chris Reed 001 (COMMA, 2016)

Argument Mining Using Argumentation Scheme Structures. - John Lawrence; Chris Reed 001 (COMMA, 2016)

A Corpus of Argument Networks: Using Graph Properties to Analyse Divisive Issues. - Barbara Konat; John Lawrence; Joonsuk Park; Katarzyna Budzynska; Chris Reed 001 (LREC, 2016)

Mining Argumentative Structure from Natural Language text using Automatically Generated Premise-Conclusion Topic Models. - John Lawrence; Chris Reed 001 (ArgMining@EMNLP, 2017)

Using Complex Argumentative Interactions to Reconstruct the Argumentative Structure of Large-Scale Debates. - John Lawrence; Chris Reed 001 (ArgMining@EMNLP, 2017)

Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation. - Alison Pease; John Lawrence; Katarzyna Budzynska; Joseph Corneli; Chris Reed 001 (Artif. Intell., 2017)

Harnessing rhetorical figures for argument mining. - John Lawrence; Jacky Visser; Chris Reed 001 (Argument Comput., 2017)

Multi-level computational methods for interdisciplinary research in the HathiTrust Digital Library. - Jaimie Murdock; Colin Allen; Katy Börner; Robert Light; Simon McAlister; Robert Rose; Doori Rose; Jun Otsuka; David Bourget; John Lawrence; Andrew Ravenscroft; Chris Reed 001 (CoRR, 2017)

Using Argumentative Structure to Interpret Debates in Online Deliberative Democracy and eRulemaking. - John Lawrence; Joonsuk Park; Katarzyna Budzynska; Claire Cardie; Barbara Konat; Chris Reed 001 (ACM Trans. Internet Techn., 2017)

Debating Technology for Dialogical Argument: Sensemaking, Engagement, and Analytics. - John Lawrence; Mark Snaith; Barbara Konat; Katarzyna Budzynska; Chris Reed 001 (ACM Trans. Internet Techn., 2017)

BBC Moral Maze: Test Your Argument. - John Lawrence; Jacky Visser; Chris Reed 001 (COMMA, 2018)

Revisiting Computational Models of Argument Schemes: Classification, Annotation, Comparison. - Jacky Visser; John Lawrence; Jean H. M. Wagemans; Chris Reed 001 (COMMA, 2018)

Intertextual Correspondence for Integrating Corpora. - Jacky Visser; Rory Duthie; John Lawrence; Chris Reed 001 (LREC, 2018)

An Online Annotation Assistant for Argument Schemes. - John Lawrence; Jacky Visser; Chris Reed 001 (LAW@ACL, 2019)

Argument Mining: A Survey. - John Lawrence; Chris Reed 001 (Comput. Linguistics, 2019)

Navigating Arguments and Hypotheses at Scale. - Rory Duthie; John Lawrence; Chris Reed 001; Jacky Visser; Dimitra Zografistou (COMMA, 2020)

A Modular Platform for Argument and Dialogue. - Mark Snaith; John Lawrence; Alison Pease; Chris Reed 001 (COMMA, 2020)

Reason-checking fake news. - Jacky Visser; John Lawrence; Chris Reed 001 (Commun. ACM, 2020)

Explainable argument mining - John Lawrence (2021)

Polemicist: A Dialogical Interface for Exploring Complex Debates. - John Lawrence; Jacky Visser; Chris Reed 001 (COMMA, 2022)

The Skeptic Web Service: Utilising Argument Technologies for Reason-Checking. - Jacky Visser; John Lawrence (COMMA, 2022)

ACH-Nav: Argument Navigation Using Techniques for Intelligence Analysis. - Dimitra Zografistou; Jacky Visser; John Lawrence; Chris Reed 001 (COMMA, 2022)

Detecting Argumentative Fallacies in the Wild: Problems and Limitations of Large Language Models. - Ramon Ruiz-Dolz; John Lawrence (ArgMining@EMNLP, 2023)

Translational argument technology: Engineering a step change in the argument web. - John Lawrence; Jacky Visser; Chris Reed 001 (J. Web Semant., 2023)

FORECAST2023: A Forecast and Reasoning Corpus of Argumentation Structures. - Kamila Gorska; John Lawrence; Chris Reed 001 (LREC/COLING, 2024)

Protocol Switching in a Multi-Agent Dialogue System. - John Lawrence (COMMA, 2024)

Annotating and Mining Hypotheses in Argumentation. - Eimear Maguire; Ramon Ruiz-Dolz; Melvin Abraham; John Lawrence; Jacky Visser (COMMA, 2024)

A Unified Benchmark for Argument Mining. - Florian Ruosch; John Lawrence; Cristina Sarasua; Abraham Bernstein (COMMA, 2024)

NLAS-multi: A Multilingual Corpus of Automatically Generated Natural Language Argumentation Schemes. - Ramon Ruiz-Dolz; Joaquín Taverner; John Lawrence; Chris Reed 001 (CoRR, 2024)

Mining Complex Patterns of Argumentative Reasoning in Natural Language Dialogue. - Ramon Ruiz-Dolz; Zlata Kikteva; John Lawrence (ACL (1), 2025)

An Explainable Framework for Misinformation Identification via Critical Question Answering. - Ramon Ruiz-Dolz; John Lawrence (CoRR, 2025)