The satisfiability problem in multiple-valued Horn formulae | Publicación