Friedman, 1976. The inclusion problem for simple languages.. https://doi.org/10.1016/0304-3975(76)90074-8