Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style.

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

Browse the full DIAGRAMS paper archive.