Failure of Feasible Disjunction Property for k-DNF Resolution and NP-hardness of Automating It | Publicación