1. H. Aït-Kaci, Warren’s Abstract Machine: A Tutorial Reconstruction, MIT Press, Cambridge, MA, 1991.
2. H. Aït-Kaci, A lattice theoretic approach to computation based on a calculus of partially ordered type structures, Ph.D. Thesis, Department of Computer and Information Science, University of Pennsylvania, 1984.
3. J. Allen, Natural Language Understanding, Benjamin Cummings, Menlo Park, California, 1987.
4. J.C. Brown, High Speed Feature Unification and Parsing, Natural Language Engineering 1 (4) (1995) 309-338.
5. B. Carpenter, G. Penn, ALE: The Attribute Logic Engine User’s Guide, version 2.0, Technical report, Philosophy Department, Carnegie Mellon University, Pittsburgh, PA, 1994.