Wijs, 2015. Confluence Detection for Transformations of Labelled Transition Systems 181.. https://doi.org/10.4204/eptcs.181.1