@inproceedings{pace:cav2003,
	TITLE     = {Calculating $\tau$-Confluence Compositionally},
	AUTHOR    = {G. J. Pace and Fr\'{e}d\'{e}ric Lang and Radu Mateescu},
	BOOKTITLE = {Computer Aided Verification, CAV '03, Boulder, Colorado, USA},
	PUBLISHER = {LNCS ???},
	MONTH     = jul,
	YEAR      = 2003
}