Modular reasoning about heap paths via effectively propositional formulas | Publicación