A first polynomial non-clausal class in many-valued logic | Publicación