Albert, M. H.; Atkinson, M. D.; Vatter, V. Counting $1324$, $4231$-Avoiding Permutations. Electron. J. Combin. 2009, 16, R136.