The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic | Publicación