@article{LiftingJournal11,
  title = "Two for the Price of One: Lifting Separation Logic Assertions",
  author = "Jacob Thamsborg and Lars Birkedal and Hongseok Yang",
  year = "2011",
  note = "(Submitted)",
}