The Termination of Nielsen Transformations Applied to Word Equations with Length Constraints.

Benjamin Przybocki, Clark W. Barrett

Browse the full IJCAR paper archive.