Inclusion is Undecidable for Pattern Languages.

Tao Jiang, Arto Salomaa, Kai Salomaa, Sheng Yu

Browse the full ICALP paper archive.