@inproceedings{GaM-2015-Wijs,
	author        = "Anton Wijs",
	booktitle     = "{Proceedings of the First Workshop on Graphs as Models}",
	doi           = "10.4204/EPTCS.181.1",
	pages         = "1--15",
	series        = "{EPTCS}",
	title         = "{Confluence Detection for Transformations of Labelled Transition Systems}",
	volume        = 181,
	year          = 2015,
}