On Subsumption and Semiunification in Feature Algebras

Jochen Drre, William C. Rounds

Browse the full LICS paper archive.