1. Aït-Kaci, H. and Di Cosmo, R. (1993). Compiling order-sorted feature term unification. Technical report, Digital Paris Research Laboratory. PRL Technical Note 7, downloadable from http://www.isg.sfu.ca/life/ .
2. Aït-Kaci, H. and Podelski, A. (1993). Towards a meaning of LIFE. Journal of Logic Programming, 16:195–234.
3. Aït-Kaci, H., Podelski, A., and Goldstein, S. (1997). Order-sorted feature theory unification. Journal of Logic, Language and Information, 30:99–124.
4. Callmeier, U. (2000). PET — a platform for experimentation with efficient HPSG processing techniques. Natural Language Engineering, 6 (1) (Special Issue on Efficient Processing with HPSG):99–108.
5. Carpenter, B. (1992). The Logic of Typed Feature Structures — with applications to unification grammars, logic programs and constraint resolution. Cambridge University Press.