Added papers on disjunctive explanations.