A Sound and Complete Diagrammatic Reasoning System

John Howse, Fernando Molina, John Taylor. A Sound and Complete Diagrammatic Reasoning System. In M. K. Hamza, editor, Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, Alberta, Canada. pages 402-408, IASTED/ACTA Press, 2000.

Abstract

Abstract is missing.