Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce. On a Uniform Logical Framework for Diagrammatic Reasoning. In 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy. pages 64-71, IEEE Computer Society, 2001. [doi]
Abstract is missing.