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