Separation Logic Modulo Theories | Publicación