Tensors, !-graphs, and non-commutative quantum structures. - Aleks Kissinger; David Quick (QPL, 2014)

A First-order Logic for String Diagrams. - Aleks Kissinger; David Quick (CALCO, 2015)

Tensors, !-graphs, and non-commutative quantum structures (extended version). - Aleks Kissinger; David Quick (CoRR, 2015)

Encoding !-tensors as !-graphs with neighbourhood orders. - David Quick (QPL, 2015)