| C88-1022 | resolution is provided . Unit | path resolution | is very much like unit resolution |
| C88-1022 | unification , another operation of unit | path resolution | is provided . Unit path resolution |
| C88-1022 | after a parse is concluded . Unit | path resolution | is not complete , so all inconsistencies |
| C88-1022 | undoable just as unification itself . | Path resolution | can be incorporated as a stage |
| C88-1022 | stage for resolution . In unit | path resolution | , paths contained in each attrDg |
