Automatic Generation of Classification Theorems for Finite Algebras. - Simon Colton; Andreas Meier 002; Volker Sorge; Roy L. McCasland (IJCAR, 2004)

Ascertaining Mathematical Theorems. - Roy L. McCasland; Alan Bundy; Patrick F. Smith (Calculemus, 2005)

MATHsAiD: A Mathematical Theorem Discovery Tool. - Roy L. McCasland; Alan Bundy (SYNASC, 2006)

Automatic Construction and Verification of Isotopy Invariants. - Volker Sorge; Andreas Meier 002; Roy L. McCasland; Simon Colton (J. Autom. Reason., 2008)

Scheme-Based Synthesis of Inductive Theories. - Omar Montaño-Rivas; Roy L. McCasland; Lucas Dixon; Alan Bundy (MICAI (1), 2010)

Scheme-based theorem discovery and concept invention. - Omar Montaño-Rivas; Roy L. McCasland; Lucas Dixon; Alan Bundy (Expert Syst. Appl., 2012)

The Theory behind Theory Mine. - Alan Bundy; Flaminia Cavallo; Lucas Dixon; Moa Johansson; Roy L. McCasland (IEEE Intell. Syst., 2015)

MATHsAiD: Automated mathematical theory exploration. - Roy L. McCasland; Alan Bundy; Patrick F. Smith (Appl. Intell., 2017)