## Examples of *s.u.* in a sentence

We have studied the relation between two generalizations of Word Unification: Se- quence Unification (SU) and Context Unification (CU).

This result gives a decidability proof for an extension of SU, and, in particular, a new proof of decidability of SU.

The trans- formation preserves solvability in one direction: from SU to CU.

The other way is to extend the solving procedure for SU (Kutsia, 2007) with the rules for head-position individual variables and obtain a procedure for ESU.

Below we will follow this idea and formulate transformation rules for ESU.To make the paper self-contained, we put here the relevant (slightly modified) SU transformation rules from (Kutsia, 2007), which, for uniformity reasons, are formulated similarly to the rules from Definition 19, and add two new rules for head-position indi- vidual variables.