J. Rogers and D. Lambert, “Extracting Subregular constraints from Regular stringsets”, JLM, vol. 7, no. 2, pp. 143–176, Sep. 2019.