@Article{	  Lohrey02icalp,
  author	= "Lohrey, Markus",
  title		= "Axiomatising Divergence",
  year		= "2002",
  volume	= "2380",
  pages		= "585--596",
  publisher	= "Springer",
  address	= "Berlin",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "29th International Colloquium, ICALP 2002, Malaga, Spain,
		  July 8-13, 2002. Proceedings",
  doi		= "10.1007/3-540-45465-9_50"
}