PINHEIRO, V.; PEQUENO, T.; FURTADO, V. Um Analisador Semântico Inferencialista de Sentenças em Linguagem Natural. Linguamática, v. 2, n. 1, p. 111-130, 7 Abr. 2010.