TY - RPRT TI - Explicit Evidence Systems with Common Knowledge AU - Samuel Bucheli AU - Roman Kuznets AU - Thomas Studer PY - 2010 DO - 10.3166/jancl.21.35-60 UR - https://arxiv.org/abs/1005.0484 ID - 1005.0484 ER -