S4 enriched multimodal categorial grammars are context-free. - Plummer, Andrew R. (Theor. Comput. Sci., 2007)