Greta Yorsh Alexander Moshe Rabinovich Mooly Sagiv Antoine Meyer Ahmed Bouajjani A Logic of Reachable Patterns in Linked Data-Structures http://arxiv.org/abs/0705.3610 2007 CoRR abs/0705.3610 db/journals/corr/corr0705.html#abs-0705-3610 informal publication