- https://arxiv.org/abs/1711.08699 48p Functorial Semantics for Relational Theories
- https://arxiv.org/abs/1909.00069 31p Regular and relational categories: Revisiting 'Cartesian bicategories I'
- https://arxiv.org/abs/2109.14123 62p Regular Calculi I: Graphical Regular Logic
- http://btn1x4.inf.uni-bayreuth.de/publications/LNCS%205765/Bruni_p59-86.pdf 28p On GS-Monoidal Theories for Graphs with Nesting
- https://arxiv.org/abs/1812.05765 47p Graphical Regular Logic
