@InProceedings{	  Hertrampf92stacs,
  title		= "Locally Definable Acceptance Types for Polynomial Time
		  Machines",
  year		= "1992",
  volume	= "577",
  pages		= "199--207",
  publisher	= "Springer",
  address	= "Berlin",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "STACS 92 (Cachan, 1992)",
  doi		= "10.1007/3-540-55210-3_184",
  author	= "Hertrampf, Ulrich"
}