The possibilistic horn non-clausal knowledge bases | Publicación