Сложность исчислений Ламбека с модальностями и тотальной выводимости в грамматиках
С. М. Дудаков, Б. Н. Карлов, С. Л. Кузнецов, Е. М. Фофанова

Эта публикация цитируется в следующих статьяx:

1. Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29