Towards a Derivation Editor. - Agneta Eriksson; Anna-Lena Johansson; Sten-Åke Tärnlund (ICLP, 1982)

Computer-based synthesis of logic programs. - Agneta Eriksson (Symposium on Programming, 1982)

Neat Explanation of Proof Trees. - Agneta Eriksson; Anna-Lena Johansson (IJCAI, 1985)