Describir: On the membership problem for pattern languages and related topics