yang_relational_separation_2007:
  type: article
  title: Relational separation logic
  author: Yang, Hongseok
  date: 2007
  page-range: 308-334
  note: Transported Benton's Relational Hoare Logic to the separation-logic setting.
  parent:
    type: periodical
    title: Theoretical Computer Science
    issue: 1–3
    volume: 375