Pinheiro, V., Pequeno, T. and Furtado, V. 2010. Um Analisador Semântico Inferencialista de Sentenças em Linguagem Natural. Linguamática. 2, 1 (Apr. 2010), 111-130.