發送短信: Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures / Pedro Barahona ... [et al.] (eds.).