Spider Diagrams: A Diagrammatic Reasoning System

John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil. Spider Diagrams: A Diagrammatic Reasoning System. Journal of Computer Languages, 12(3):299-324, 2001.

Abstract

Abstract is missing.