Using rewriting systems to compute left Kan extensions and induced actions of categories
scientific article