W91-0219 higher level categories . The hierachization algorithm is explained in detail
W01-1307 longer entails , but . proper hierachization of the structure and of the resolution
hide detail