| |
| 1985 | ||
|---|---|---|
| 3 | Agneta Eriksson, Anna-Lena Johansson: Neat Explanation of Proof Trees. IJCAI 1985: 379-381 | |
| 1982 | ||
| 2 | Agneta Eriksson, Anna-Lena Johansson, Sten-Åke Tärnlund: Towards a Derivation Editor. ICLP 1982: 146-151 | |
| 1 | Agneta Eriksson: Computer-based synthesis of logic programs. Symposium on Programming 1982: 105-115 | |
| 1 | Anna-Lena Johansson | [2] [3] |
| 2 | Sten-Åke Tärnlund (Sten-Åke Tarnlund, Sten-Ake Tärnlund) | [2] |