@techreport{pace:rr4918,
	TITLE     = {Calculating $\tau$-Confluence Compositionally},
	AUTHOR    = {G. J. Pace and Fr\'{e}d\'{e}ric Lang and Radu Mateescu},
	INSTITUTION = {INRIA},
	NUMBER    = {RR-4918},
	MONTH     = september,
	YEAR      = 2003
}