TY  - RPRT
TI  - SEPIA: Search for Proofs Using Inferred Automata
AU  - Thomas Gransden
AU  - Neil Walkinshaw
AU  - Rajeev Raman
PY  - 2015
UR  - https://arxiv.org/abs/1505.07987
ID  - 1505.07987
ER  -