Diagrammatic respresentation and inference : - Blackwell, Alan F.; Marriott, Kim; Shimojima, Atsushi 1962- (Lecture notes in computer science. Lecture notes in artificial intelligence, 2004)