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