-
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of a Newly Proposed Calculus for CatLog3”, Lecture Notes in Comput. Sci., 11668 (2019),
67–83 
-
Glyn Morrill, “Grammar logicised: relativisation”, Linguist and Philos, 40:2 (2017),
119 -
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with subexponential and bracket modalities”, Lecture Notes in Comput. Sci., 10472 (2017),
326–340 