Bulteau. Consensus Patterns Parameterized by Input String Length Is W[1]-hard. 27 Feb. 2017.