Agneta Eriksson, Anna-Lena Johansson. Neat Explanation of Proof Trees. In IJCAI. pages 379-381, 1985.
@inproceedings{ErikssonJ85,
title = {Neat Explanation of Proof Trees},
author = {Agneta Eriksson and Anna-Lena Johansson},
year = {1985},
researchr = {https://researchr.org/publication/ErikssonJ85},
cites = {0},
citedby = {0},
pages = {379-381},
booktitle = {IJCAI},
}