Steffen Staab Ansgar Scherp Richard Arndt Raphaël Troncy Marcin Grzegorzek Carsten Saathoff Simon Schenk Lynda Hardman 125-170 2008 Reasoning Web http://dx.doi.org/10.1007/978-3-540-85658-0_4 conf/rweb/2008 db/conf/rweb/rweb2008.html#StaabSATGSSH08