Higher-dimensional categories with finite derivation type. Guiraud, Yves; Malbos, Philippe — 2009 Theory and Applications of Categories [electronic only]