ML Anthology
Authors
Search
About
Eriksson, Agneta
1 publications
IJCAI
1985
Neat Explanation of Proof Trees
Agneta Eriksson
,
Anna-Lena Johansson