"A Decision Procedure for Reflexive Regular Splicing Languages."

Paola Bonizzoni, Giancarlo Mauri (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics