References
Frithjof Dau
Some notes on proofs with alpha graphs
2006
in: Conceptual structures: inspiration and application, Dordrecht : Springer
Types and tokens for logic with diagrams
2004
in: Conceptual structures at work, Dordrecht : Springer
2006
in: Conceptual structures: inspiration and application, Dordrecht : Springer
2004
in: Conceptual structures at work, Dordrecht : Springer