Raul Hakli Sara Negri Proof Theory for Distributed Knowledge. 100-116 2007 CLIMA VIII http://dx.doi.org/10.1007/978-3-540-88833-8_6 conf/clima/2007 db/conf/clima/clima2007.html#HakliN07