| P93-1028 | three . Together they show that | nonmonotonic unification | preserves the information present |
| P95-1009 | possible to define an operation for | nonmonotonic unification | . Definition 2 The nonmonotonic |
| P95-1009 | affect the order independency on | nonmonotonic unification | between application of nonmonotonic |
| P95-1009 | of the original definition of | nonmonotonic unification | from Young and Rounds ( 1993 |
| P95-1009 | still have an order independent | nonmonotonic unification | ope - rator . This is the case |
| J02-2002 | morphotactic constraints are modeled with | nonmonotonic unification | , such as nonexistence checks |
| P95-1009 | s , s , and - y n s C s } The | nonmonotonic unification | is computed by computing the |
| P95-1009 | unification . Definition 2 The | nonmonotonic unification | ( nN ) of two nonmonotonic sorts |
