Reasoning Web - Barahona, Pedro; Bry, François; Franconi, Enrico; Henze, Nicola; Kanade, Takeo; Sattler, Ulrike (Springer Berlin Heidelberg, 2006)