@Article{	  HermannsL98concur,
  author	= "Hermanns, Holger and Lohrey, Markus",
  title		= "Priority and maximal progress are completely axiomatisable
		  (extended abstract)",
  year		= "1998",
  volume	= "1466",
  pages		= "237--252",
  publisher	= "Springer",
  address	= "Berlin",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "CONCUR '98 - Concurrency Theory. 9th International
		  Conference, Nice, France, September 8-11, 1998.
		  Proceedings",
  doi		= "10.1007/BFb0055626"
}