Diagrammatic Proofs.

Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak

Browse the full IJCAI paper archive.