TY - RPRT TI - Default Logic in a Coherent Setting AU - Giulianella Coletti AU - Romano Scozzafava AU - Barbara Vantaggi PY - 2002 UR - https://arxiv.org/abs/math/0207165 ID - math/0207165 ER -