%0 Journal Article %A Yves Guiraud %A Philippe Malbos %T Higher-dimensional categories with finite derivation type %J Theory and applications of categories %D 2009 %P 420-478 %V 22 %I mathdoc %U http://geodesic.mathdoc.fr/item/TAC_2009_22_a17/ %G en %F TAC_2009_22_a17