Paola Bonizzoni, Giancarlo Mauri. A Decision Procedure for Reflexive Regular Splicing Languages. In Oscar H. Ibarra, Zhe Dang, editors, Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings. Volume 4036 of Lecture Notes in Computer Science, pages 315-326, Springer, 2006. [doi]
Abstract is missing.