Feature logic with weak subsumption constraints - Dörre, Jochen (IWBS, 1990)