@misc{indiciae5fffeb2ec25d,
  title = {Algorithms for discovering and proving theorems about permutation patterns},
  author = {Hjalti Magnusson and Henning Ulfarsson},
  year = {2012},
  url = {https://arxiv.org/abs/1211.7110},
  note = {Source identifier: 1211.7110}
}