Rogers, J.; Lambert, D. Extracting Subregular Constraints from Regular Stringsets. JLM 2019, 7, 143–176.