Elizabeth Goode Dennis Pixton Recognizing splicing languages: Syntactic monoids and simultaneous pumping. 989-1006 2007 155 Discret. Appl. Math. 8 https://doi.org/10.1016/j.dam.2006.10.006 db/journals/dam/dam155.html#GoodeP07