Algorithms for discovering and proving theorems about permutation patterns. - Hjalti Magnusson; Henning Úlfarsson (CoRR, 2012)