D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation.

Yingte Xu, Li Zhou, Gilles Barthe

Browse the full CAV paper archive.