The Effects of Adding Reachability Predicates in Propositional Separation Logic | Publicación