@InProceedings{	  Hertrampf92latin,
  title		= "Locally Definable Acceptance Types --- The Three-Valued
		  Case",
  year		= "1992",
  volume	= "583",
  pages		= "262--271",
  publisher	= "Springer",
  address	= "Berlin",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "LATIN '92 (S{\~a}o Paulo, 1992)",
  doi		= "10.1007/BFb0023834",
  author	= "Hertrampf, Ulrich"
}