Ronald Brown Anne Heyworth Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories. 5-31 2000 29 J. Symb. Comput. 1 db/journals/jsc/jsc29.html#BrownH00