bibliographic details : Logic & natural language :