@article{wijs_2015, 
  title={Confluence Detection for Transformations of Labelled Transition Systems}, 
  volume={181}, 
  DOI={10.4204/eptcs.181.1}, 
  publisher={Open Publishing Association}, 
  author={Wijs}, 
  year={2015}, 
  month={Apr}
  }