Horn Maximum Satisfiability: Reductions, Algorithms and Applications | Publicación