@InProceedings{Brotherston-Calcagno:09, author = "James Brotherston and Cristiano Calcagno", title = "Classical {BI} ({A} Logic for Reasoning about Dualising Resources)", booktitle = "Proceedings of {POPL}-36", pages = "328--339", publisher = "ACM", year = 2009 }