TY  - RPRT
TI  - Statistical Proof Pattern Recognition: Automated or Interactive?
AU  - Jónathan Heras
AU  - Ekaterina Komendantskaya
PY  - 2013
UR  - https://arxiv.org/abs/1303.1419
ID  - 1303.1419
ER  -