1. Aït-Kaci, H., Podelski, A., Goldstein, S.: Order-sorted feature theory unification. Journal of Logic, Language and Information 30, 99–124 (1997)
2. Aït-Kaci, H., Di Cosmo, R.: Compiling order-sorted feature term unification. Tech. rep., Digital Paris Research Laboratory (1993), pRL Technical Note 7
3. Aït-Kaci, H., Podelski, A.: Towards a meaning of LIFE. Journal of Logic Programming 16, 195–234 (1993)
4. Bleys, J., Stadler, K., De Beule, J.: Search in linguistic processing. In: Steels, L. (ed.) Design Patterns in Fluid Construction Grammar. John Benjamins, Amsterdam (2011)
5. Carpenter, B.: The Logic of Typed Feature Structures – with applications to unification grammars, logic programs and constraint resolution. Cambridge University Press (1992)