Neat Explanation of Proof Trees.

Agneta Eriksson, Anna-Lena Johansson

Browse the full IJCAI paper archive.