Decidability results for Watson-Crick D0L systems with nonregular triggers.
scientific article; zbMATH DE number 1965359