The Inverse Method for the Logic of Bunched Implications. - Kevin Donnelly; Tyler Gibson; Neel Krishnaswami; Stephen Magill; Sungwoo Park (LPAR, 2004)