Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures - Barahona, Pedro, 1954-; Bry, François; Franconi, Enrico (Lecture notes in computer science ;, 2006)