D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation | Publicación