Algorithms for discovering and proving theorems about permutation patterns - Hjalti Magnusson; Henning Ulfarsson (2012)