%0 Journal Article %A M. Okada %A P. J. Scott %T A Note on Rewriting Theory for Uniqueness of Iteration %J Theory and applications of categories %D 1999 %P 47-64 %V 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/TAC_1999_6_a3/ %G en %F TAC_1999_6_a3