@PhDThesis{	  ebi94,
  author	= "Werner Ebinger",
  school	= "Institut f{\"u}r {I}nformatik, {U}niversit{\"a}t
		  {S}tuttgart",
  type		= "Dissertation",
  title		= "{Charakterisierung} von {S}prachklassen unendlicher
		  {S}puren durch {L}ogiken",
  year		= "1994"
}