, 2006, Some notes on proofs with alpha graphs, in P. Hitzler & P. Øhrstrøm (eds.), Conceptual structures: inspiration and application, Dordrecht, Springer, pp. 172-188.
, 2004a, Types and tokens for logic with diagrams, in K. E. Wolff, H. D. Pfeiffer & H. Delugach (eds.), Conceptual structures at work, Dordrecht, Springer, pp. 62-93.