Logic for natural language analysis. - Fernando Carlos Neves Pereira (1982)