ohearn_pym_bi_1999:
  type: article
  title: The logic of bunched implications
  author:
  - O'Hearn, Peter W.
  - Pym, David J.
  date: 1999
  page-range: 215-244
  parent:
    type: periodical
    title: Bulletin of Symbolic Logic
    issue: 2
    volume: 5