@article{SmolkaAit-Kaci89,
  author	= {Smolka, Gert and A\"it-Kaci, Hassan},
  year		= {1989},
  title		= {Inheritance hierarchies: semantics and unification},
  journal	= {Journal of symbolic computation},
  volume	= {7},
  pages		= {343--370}
}