TY  - RPRT
TI  - Applications of Rewriting Systems and Groebner Bases to Computing Kan Extensions and Identities Among Relations
AU  - Anne Heyworth
PY  - 2000
UR  - https://arxiv.org/abs/math/9812097
ID  - math/9812097
ER  -