Geneson, J.; Prasad, R.; Tidor, J. Bounding Sequence Extremal Functions With Formations. Electron. J. Combin. 2014, 21, #P3.24.