Simple free star-autonomous categories and full coherence
Journal of Pure and Applied Algebra, 2012. math.CT/0506521 at arXiv.org.
This paper gives a simple presentation of the free star-autonomous
category over a category, based on Eilenberg-Kelly-MacLane graphs and
Trimble rewiring, for full coherence: the commutativity of diagrams of canonical maps is decidable.