Haridi, Seif and Sverker Janson. Kernel Andorra Prolog and its Computation Model. In Logic Programming: Proceedings of the Seventh International Conference. MIT Press, 1990.

Languages mentioned

• AKL {1991} Andorra Kernel Language