TY - RPRT TI - Polygraphs of finite derivation type AU - Yves Guiraud AU - Philippe Malbos PY - 2016 DO - 10.1017/s0960129516000220 UR - https://arxiv.org/abs/1402.2587 ID - 1402.2587 ER -