| J94-1001 | standard implementations of the | attribute-value unification | algorithm . The semi-naive algorithm |
| J94-1001 | this procedure to the standard | attribute-value unification | algorithm is quite strong . In |
| J94-1001 | representative . Just as in the standard | attribute-value unification | algorithm , all arguments are |
| J94-1001 | generalization of the standard | attribute-value unification | algorithm and also as a nondeterministic |
| J91-2001 | different setting , the steps of the | attribute-value unification | algorithm are just applications |
| J94-1001 | which generalizes the standard | attribute-value unification | algorithm , is also recognizable |
| J91-2001 | unification of distinct An example of | attribute-value unification | constant elements ( a constant |
| J91-2001 | to the one used in the standard | attribute-value unification | algorithm , but since axioms |
| E93-1024 | devices of other theories , such as | attribute-value unification | over signs or categories ) . |
