A decision procedure for satisfiability in separation logic with inductive predicates | Publicación