"Deciding Whether a Regular Language Is Generated by a Splicing System."

Lila Kari, Steffen Kopecki (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics