M. H. Albert, M. D. Atkinson, and V. Vatter, “Counting $1324$, $4231$-Avoiding Permutations”, Electron. J. Combin., vol. 16, no. 1, p. R136, Nov. 2009.