SEPIA: Search for Proofs Using Inferred Automata.

Thomas Gransden, Neil Walkinshaw, Rajeev Raman

Browse the full CADE paper archive.