Um Analisador Semântico Inferencialista de Sentenças em Linguagem Natural. Linguamática, v. 2, n. 1, p. 111–130, 7 Apr.2010.