B. Carlson, M. Carlsson, and D. Diaz. Entailment of Finite Domain Constraints. In Proceedings of the Eleventh International Conference of Logic Programming, MIT Press Series in Logic Programming, 1994. (PostScript)
B. Carlson, S. Janson, and S. Haridi. AKL(FD): A concurrent language for FD programming. In Proceedings of the 1994 International Logic Programming Symposium, MIT Press Series in Logic Programming, 1994. (PostScript)
B. Carlson, M. Carlsson. Constraint Solving and Entailment Algorithms for cc(FD). SICS Research Report, 1993.
Torkel Franzén, Seif Haridi, and Sverker Janson. An Overview of the Andorra Kernel Language. In Proceedings of the 2nd Workshop on Extensions to Logic Programming. LNCS. Springer-Verlag 1992. (PostScript)
Seif Haridi and Sverker Janson. Kernel Andorra Prolog and its Computation Model. In Logic Programming: Proceedings of the Seventh International Conference. MIT Press, 1990. An earlier version is available as SICS R90002. (PostScript)
Seif Haridi and Sverker Janson and Catuscia Palamidessi. Structural Operational Semantics of AKL. Journal of Future Generation Computer Systems 8(1992):409-421. (PostScript)
Seif Haridi, Sverker Janson, et al. Concurrent Constraint Programming at SICS with the Andorra Kernel Language. Presented at First International Workshop on Principles and Practices of Constraint Programming (PPCP), 1993. (PostScript)
Sverker Janson and Seif Haridi. Programming Paradigms of the Andorra Kernel Language. SICS Research Report R91:08, Swedish Institute of Computer Science, 1991. An earlier version is available in Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991. (PostScript)
Sverker Janson, Johan Montelius, and Seif Haridi. Ports for Objects in Concurrent Logic Programs. In Research Directions in Concurrent Object-Oriented Programming. MIT Press, 1993. (PostScript)
Sverker Janson and Seif Haridi. An Introduction to AKL - A Multi-Paradigm Programming Language. In NATO-ASI Constraint Programming. Springer-Verlag. (PostScript)
Sverker Janson. AKL - A Multiparadigm Programming Language. SICS Dissertation Series 14. Uppsala Theses in Computing Science 19. Uppsala University, Sweden, June 1994. ISBN 91-506-1046-5. (PostScript)
Torbjörn Keisu. Tree Constraints. SICS Dissertation Series 16. TRITA-IT 94:10, The Royal Institute of Technology (KTH), Stockholm, Sweden, May 1994. ( PostScript)
Torbjörn Keisu. Finite and Rational Tree Constraint. Bull. of the IGPL, Vol. 2, No. 2, pp. 165-202, 1994.
Dan Sahlin. Specification of a Partial Evaluator for AKL. Deliverable D.WP1.4.2.M2 in the ESPRIT project ParForce, 6707, 1994. (PostScript)
Dan Sahlin and Thomas Sjöland. Towards an Analysis Tool for AKL. Deliverable D.WP1.6.1.M1 in the ESPRIT project ParForce, 6707, 1993. (PostScript)
Dan Sahlin and Thomas Sjöland. Abstract Syntax and Normalisation of AKL Programs. Appendix to deliverable D.WP1.6.1.M1 in the ESPRIT project ParForce, 6707, 1993. (PostScript)
Dan Sahlin and Thomas Sjöland. Fixpoint Analysis of Type and Alias in AKL programs. Deliverable D.WP1.6.1.M2 in the ESPRIT project ParForce, 6707, 1994. (PostScript)
Thomas Sjöland and Dan Sahlin. Fixpoint Analysis of Types and Alias in AKL Programs. (PostScript), (abstract), SICS report R94:13b. (final update 950628)