1. Aït-Kaci H (1986) An algebraic semantics approach to the effective resolution of type quations. Theoretical Computer Science, 45(3): 293-351.
2. Aït-Kaci H, Nasr R (1986) LOGIN: a logic programming language with built-in inheritance. J. Logic Programming, 3(3): 185-215.
3. Amati G, Ounis I (2000) Conceptual graphs and first order logic. The Computer J., 431: 1-12.
4. Baader F, Siekmann J (1994) Unification theory. In: Gabbay DM, Hogger CJ, Robinson JA (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming. Clarendon Press, Oxford, UK, 2: 41-126.
5. Bechhofer S, Carr L, Goble C, Kampa S, Miles-Board T (2002) The semantics of semantic annotation. In: Meersman R, Tari Z (eds.) Proc. Intl. Conf. Ontologies, Databases and Semantics, 30 October - 1 November, Irvine, CA, Springer, New York, NY: 1152-1167.