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 Ait-Kaci, R Nasr The Journal of logic programming 3 (3), 185-215, 1986 | 657 | 1986 |

Towards a meaning of LIFE H Ait-Kaci, A Podelski The Journal of Logic Programming 16 (3-4), 195-234, 1993 | 364 | 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 | 313 | 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 | 245 | 1984 |

An algebraic semantics approach to the effective resolution of type equations H Aït-Kaci Theoretical computer science 45, 293-351, 1986 | 220 | 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 | 169 | 1994 |

The WAM: a (real) tutorial H Ait-Kaci Digital, Paris Research Laboratory, 1990 | 146 | 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 P Lincoln, R Nasr In Proc. 4th IEEE Internat. Symposium on Logic Programming, 1987 | 98 | 1987 |

An overview of LIFE H Ait-Kaci Next generation information system technology, 42-58, 1991 | 85 | 1991 |

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

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

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

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 | 50 | 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 |

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

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

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

The Wild LIFE Handbook (prepublication edition) H Aıt-Kaci, B Dumant, R Meyer, A Podelski, P Van Roy DIGITAL, Paris Research Laboratory, 1994 | 31 | 1994 |