Warren’s Abstract Machine - a Tutorial Reconstruction H Aït-Kaci http://wambook.sourceforge.net/, 1999 | 740* | 1999 |

LOGIN: A logic programming language with built-in inheritance H Aït-Kaci, R Nasr The Journal of logic programming 3 (3), 185-215, 1986 | 637 | 1986 |

Towards a meaning of LIFE H Ait-Kaci, A Podelski The Journal of Logic Programming 16 (3-4), 195-234, 1993 | 357 | 1993 |

Efficient implementation of lattice operations H Aït-Kaci, R Boyer, P Lincoln, R Nasr ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (1), 115-146, 1989 | 318 | 1989 |

A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification) H Ait-Kaci | 252 | 1984 |

An algebraic semantics approach to the effective resolution of type equations H Aït-Kaci Theoretical computer science 45, 293-351, 1986 | 213 | 1986 |

A feature constraint system for logic programming with entailment H Aït-Kaci, A Podelski, G Smolka Theoretical Computer Science 122 (1-2), 263-283, 1994 | 170 | 1994 |

The WAM: a (real) tutorial H Ait-Kaci Digital, Paris Research Laboratory, 1990 | 132 | 1990 |

Inheritance hierarchies: Semantics and unification G Smolka, H Ait-Kaci Journal of Symbolic Computation 7 (3-4), 343-370, 1989 | 103 | 1989 |

Le Fun: Logic, equations, and functions H Aït-Kaci, P Lincoln, R Nasr In Proc. 4th IEEE Internat. Symposium on Logic Programming, 1987 | 99 | 1987 |

An overview of LIFE H Ait-Kaci International East/West Database Workshop, 42-58, 1990 | 84 | 1990 |

Integrating logic and functional programming H Aït-Kaci, R Nasr Lisp and Symbolic Computation 2 (1), 51-89, 1989 | 73 | 1989 |

Order-sorted feature theory unification H Aït-Kaci, A Podelski, SC Goldstein Journal of Logic Programming 30 (2), 99-124, 1997 | 65 | 1997 |

An introduction to LIFE-programming with logic, inheritance, functions, and equations H Aït-Kaci Proceedings of the 1993 international symposium on Logic programming, 52-68, 1993 | 52 | 1993 |

The typed polymorphic label-selective λ-calculus J Garrigue, H Aït-Kaci Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 49 | 1994 |

Functions as passive constraints in LIFE H Aït-Kaci, A Podelski ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1279-1318, 1994 | 48 | 1994 |

Type subsumption as a model of computation H Ait-Kaci Proceedings from the first international workshop on Expert database systems …, 1986 | 41 | 1986 |

Label-selective λ-calculus syntax and confluence H Aït-Kaci, J Garrigue International Conference on Foundations of Software Technology and …, 1993 | 40* | 1993 |

Logic and inheritance H Aït-Kaci, R Nasr Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986 | 33 | 1986 |

Entailment and disentailment of order-sorted feature constraints H Aït-Kaci, A Podelski International Conference on Logic for Programming Artificial Intelligence …, 1993 | 25 | 1993 |