EasyChair Smart Slide
Coherence of Gray categories via rewriting
Coherence of Gray categories via rewriting