@article{05636678,
title = {Higher-dimensional categories with finite derivation type.},
journal = {Theory and Applications of Categories [electronic only]},
volume = {22},
year = {2009},
pages = {420-478},
zbl = {1190.18002},
language = {en},
url = {http://dml.mathdoc.fr/item/05636678}
}
Guiraud, Yves; Malbos, Philippe. Higher-dimensional categories with finite derivation type.. Theory and Applications of Categories [electronic only], Tome 22 (2009) pp. 420-478. http://gdmltest.u-ga.fr/item/05636678/