Warren’s Abstract Machine - a Tutorial Reconstruction H Aït-Kaci http://wambook.sourceforge.net/, 1999 | 811* | 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 | 678 | 1986 |

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

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

The WAM: a (real) tutorial H Ait-Kaci Digital. Paris Research Laboratory, 1989 | 135 | 1989 |

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

Object oriented database systems and knowledge systems C Zaniolo, H Ait-Kaci, D Beech, S Cammarata, L Kerschberg, D Maier Proceedings from the First International Workshop On Expert Database Systems …, 1986 | 105 | 1986 |

Le Fun: Logic, equations, and functions H Aït-Kaci, R Nasr Microelectronics and Computer Technology Corporation, 1986 | 102 | 1986 |

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

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

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

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

Functions as passive constraints in LIFE H Ait-Kaci, A Podelski ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1279-1318, 1994 | 50 | 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 | 49 | 1993 |

Label-selective λ-calculus syntax and confluence H Aït-Kaci, J Garrigue Theoretical Computer Science 151 (2), 353-383, 1995 | 41* | 1995 |

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

Logic and inheritance H Ait-Kaci, R Nasr Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986 | 36 | 1986 |