A polynomial algorithm for the membership problem with categorial grammars
scientific article; zbMATH DE number 983297
scientific article