Formalizing Natural Languages with NooJ 2018 and Its Natural ...
Ignazio Mauro Mirto & Mario Monteleone & Max Silberztein