Octavian Patrascoiu, Simon Thompson, Peter Rodgers. Tableaux for Diagrammatic Reasoning. In Angela Guercio, Timothy Arndt, editors, Proceedings of the 11th International Conference on Distributed Multimedia Systems, DMS 2005, September 5-7, 2005, Fairmont Banff Springs Hotel, Banff, Alberta, Canada. pages 279-286, Knowledge Systems Institute, 2005.
Abstract is missing.