Morphocompletion for One-Relation Monoids