Mining State-Based Models from Proof Corpora. - Thomas Gransden; Neil Walkinshaw; Rajeev Raman (CICM, 2014)

SEPIA: Search for Proofs Using Inferred Automata. - Thomas Gransden; Neil Walkinshaw; Rajeev Raman (CADE, 2015)

Automating proofs with state machine inference. - Thomas Glenn Gransden (2017)