Nielsen reduction in free groups with operators
Volume 129 / 1988
Fundamenta Mathematicae 129 (1988), 181-197
DOI: 10.4064/fm-129-3-181-197