Didier Galmiche Daniel Méry David J. Pym The semantics of BI and resource tableaux. 1033-1088 2005 15 Mathematical Structures in Computer Science 6 http://dx.doi.org/10.1017/S0960129505004858 db/journals/mscs/mscs15.html#GalmicheMJP05