TY - RPRT TI - On the Complexity of Finding Second-Best Abductive Explanations AU - Paolo Liberatore AU - Marco Schaerf PY - 2015 DO - 10.1016/j.ijar.2015.05.009 UR - https://arxiv.org/abs/1204.5859 ID - 1204.5859 ER -