https://123dok.net/document/qo5j1mm5-multifraction-reduction-ore-case-artin-tits-groups-type.html