Wijs. Confluence Detection for Transformations of Labelled Transition Systems. Open Publishing Association, Apr. 2015, doi:10.4204/eptcs.181.1.