Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas | Publicación