Blackburn, P. Representation and inference for natural language: A first course in computational semantics - Stanford CSLI Publications 2005 - xxv, 350p. - CSLI studies in computational linguistics . ISBN: 1-57586-495-9