A Complete Axiomatisation for Quantifier-Free Separation Logic | Publicación