Università di Messina - S.B.A.
PETIX, MARCO (2019) A parser for text to First-order Logic conversion. Laurea thesis, UNSPECIFIED.