TY - RPRT TI - Complexity of Prioritized Default Logics AU - J. Rintanen PY - 2011 DO - 10.1613/jair.554 UR - https://arxiv.org/abs/1105.5453 ID - 1105.5453 ER -