Representation of consistent recursive rules | Publicación