Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog | Publicación