Demand analysis with partial predicates | Publicación