3 citations · 3 across the 1 of their papers we have counts for
1 paper
Sven Linker, Jim Burton, Mateja Jamnik
Although automated reasoning with diagrams has been possible for some years, tools for diagrammatic reasoning are generally much less sophisticated than their sentential cousins. T…