On subsumption and semi-unification in feature algebras (1989)

by Jochen Dörre, William C Rounds
Venue:IWBS report, IWBS, IBM Deutschland, Postfach 80 08 80, 7000 Stuttgart 80