Inheritance Hierarchies: Semantics and Unification (1989)

by G Smolka, H At-Kaci
Venue:Journal of Symbolic Computation