Operational constraints in diagrammatic reasoning, in: Allwein, Barwise (Eds.), Logical Reasoning with Diagrams (1996)

by A Shimojima