A Diagrammatic Reasoning System for

Frithjof Dau, Peter W. Eklund

Browse the full KSEM paper archive.