A Conservative Extension of First-order Logic and Its Application to Theorem Proving. - David A. Basin; Seán Matthews (FSTTCS, 1993)

A Framework for Program Development Based on Schematic Proof. - David A. Basin; Alan Bundy; Ina Kraan; Seán Matthews (IWSSD, 1993)

Implementing FS0 in Isabelle: Adding Structure at the Metalevel. - Seán Matthews (DISCO, 1996)

A Topography of Labelled Modal Logics. - David A. Basin; Seán Matthews; Luca Viganò 001 (FroCoS, 1996)

Implementing Modal and Relevance Logics in a Logical Framework. - David A. Basin; Seán Matthews; Luca Viganò 001 (KR, 1996)

Adding Metatheoretic Facilities to First-Order Theories. - David A. Basin; Seán Matthews (J. Log. Comput., 1996)

A Practical Implementation of Simple Consequence Relations Using Inductive Definitions. - Seán Matthews (CADE, 1997)

A New Method for Bounding the Complexity of Modal Logics. - David A. Basin; Seán Matthews; Luca Viganò 001 (Kurt Gödel Colloquium, 1997)

Labelled Quantified Modal Logics. - David A. Basin; Seán Matthews; Luca Viganò 001 (KI, 1997)

Extending a Logical Framework with a Modal Connective for Validity. - Seán Matthews (TACS, 1997)

Labelled Propositional Modal Logics: Theory and Practice. - David A. Basin; Seán Matthews; Luca Viganò 001 (J. Log. Comput., 1997)

Scoped metatheorems. - David A. Basin; Seán Matthews (WRLA, 1998)

Labelled Modal Logics: Quantifiers. - David A. Basin; Seán Matthews; Luca Viganò 001 (J. Log. Lang. Inf., 1998)

Natural Deduction for Non-Classical Logics. - David A. Basin; Seán Matthews; Luca Viganò 001 (Stud Logica, 1998)

Structuring Metatheory on Inductive Definitions. - David A. Basin; Seán Matthews (Inf. Comput., 2000)

A Latent Variable Model in Conflict Research. - Uwe M. Borghoff; Seán Matthews; Holger Prüßing; Christian T. Schäfer; Oliver Stuke (EUROCAST (1), 2019)

WestSearch Plus: A Non-factoid Question-Answering System for the Legal Domain. - Gayle McElvain; George Sanchez; Seán Matthews; Don Teo; Filippo Pompili; Tonya Custis (SIGIR, 2019)

Gender and Racial Stereotype Detection in Legal Opinion Word Embeddings. - Seán Matthews; John Hudzina; Dawn Sepehr (AAAI, 2022)