TY - RPRT TI - Complexity of Non-Monotonic Logics AU - Michael Thomas AU - Heribert Vollmer PY - 2010 UR - https://arxiv.org/abs/1009.1990 ID - 1009.1990 ER -