Mohammad Raza Philippa Gardner Footprints in Local Reasoning http://arxiv.org/abs/0903.1032 2009 Logical Methods in Computer Science 5 db/journals/lmcs/lmcs5.html#abs-0903-1032 2