Neat Explanation of Proof Trees

Agneta Eriksson, Anna-Lena Johansson. Neat Explanation of Proof Trees. In IJCAI. pages 379-381, 1985.

Abstract

Abstract is missing.