@Article{	  wd95,
  author	= "Celia Wrathall and Volker Diekert",
  journal	= "Mathematical Systems Theory",
  pages		= "341--361",
  title		= "On Confluence of One-Rule Trace-Rewriting Systems",
  volume	= "28",
  year		= "1995",
  doi		= "10.1007/BF01185401"
}