You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
---title: A sound and complete proof system for separation logic (part 1)author:
- name:
given: Hans-Dieter A.family: Hiepurl: /author/hans-dieter-hiep/orcid: 0000-0001-9677-6644citation: true---
shows in the attribution string, but it correctly is transformed to latex non breaking space for the citation string.
Maybe we should do some cleaning for Attribution string too.