On subsumption and semiunification in feature algebras (1990)

by J Dörre, W C Rounds
Venue:In 5th IEEE Symposium on Logic in Computer Science