Mark Anthony Young

• Features, unification and nonmonotonicity