Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20-22, 2018, Revised Selected Papers - Mirto, Ignazio Mauro; Mirto, Ignazio Mauro; Monteleone, Mario; Monteleone, Mario; Silberztein, Max; Silberztein, Max (Springer International Publishing : Imprint: Springer, 2019)