The Horn Non-Clausal Class and its Polynomiality | Publicación