Uniform Recognition for Acyclic Context-Sensitive Grammars is NP-complete Erik Aarts author 1992 text COLING 1992 Volume 4: The 14th International Conference on Computational Linguistics conference publication aarts-1992-uniform https://aclanthology.org/C92-4183/ 1992