@article{ohearn_pym_bi_1999,
 title = {The logic of bunched implications},
 author = {O'Hearn, Peter W. and Pym, David J.},
 year = {1999},
 journal = {Bulletin of Symbolic Logic},
 volume = {5},
 number = {2},
 pages = {215--244}
}