Polygraphs of finite derivation type. - GUIRAUD, YVES; MALBOS, PHILIPPE (Mathematical Structures in Computer Science, 2018)