T. Bernard and G. . Winterstein, “Introduction to the special section on the interaction between formal and computational linguistics”, JLM, vol. 10, no. 1, pp. 39–47, Oct. 2022.