1. Aït-Kaci, H. and R. Nasr, “LOGIN: A Logic Programming Language with Built-in Inheritance.,” Journal of Logic Programming, 1986. 3.
2. Aït-Kaci, H., A. Podelski, and G. Smolka, A Feature Constraint System for Logic Programming with Entailment,. 1992, Digital Equipment Corporation: Paris, France.
3. Burrow, A.L. and R. Woodbury. “p-Resolution in Design Space Exploration,” in Proc. CAAD Futures, August, 1999. Atlanta, Georgia, USA: Academic Publishers.
4. Cao, TH., P.N. Creasy, and V. Wuwongse. “Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs,” in Proc. Fifth International Conference on Conceptual Structures, August, 1997. Seattle, Washington, USA: Springer-Verlag. Published as Lecture Notes in Artificial Intelligence #1257.
5. Chang, T.-W. and R.F. Woodbury. “Sufficiency of the SEED Knowledge-Level Representation for Grammatical Design,” in Proc. Australian New Zealand Conference on Intelligent Information Systems, November, 1996. Adelaide, Australia: IEEE Press.