Confluence for process verification, Theoretical Computer Science 170 (1996)

by J Groote, M Sellink