@InProceedings{	  wdo92,
  author	= "Celia Wrathall and Volker Diekert and Friedrich Otto",
  address	= "Heidelberg",
  booktitle	= "Proc. 17th Symposium on Mathematical Foundations of
		  Computer Science (MFCS'92), Prague (Czechoslovakia), 1992",
  editor	= "I. M. Havel and V. Koubek",
  volume	= "629",
  pages		= "511--521",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  title		= "One-Rule Trace-Rewriting Systems and Confluence",
  year		= "1992",
  doi		= "10.1007/3-540-55808-X_50"
}