B. Chandrasekaran, Unmesh Kurup, Bonny Banerjee, John R. Josephson, Robert Winkler. An Architecture for Problem Solving with Diagrams. In Alan F. Blackwell, Kim Marriott, Atsushi Shimojima, editors, Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings. Volume 2980 of Lecture Notes in Computer Science, pages 151-165, Springer, 2004. [doi]
Abstract is missing.