Neural Networks for Proof-Pattern Recognition. - Ekaterina Komendantskaya; Kacper Lichota (ICANN (2), 2012)