Picturing Problems: Solving Logic Puzzles Diagrammatically.

John Howse, Gem Stapleton, Jim Burton, Andrew Blake

Browse the full DIAGRAMS paper archive.