On subsumption and semiuni cation in feature algebras (1990)

by J Dorre, W Rounds
Venue:In Proceedings of IEEE 5th Annual Symposium on Logic in Computer Science