Um Analisador Semântico Inferencialista De Sentenças Em Linguagem Natural. Linguamática 2010, 2 (1), 111-130.