@PhDThesis{	  kufDiss06,
  author	= "Manfred Kufleitner",
  school	= "Institut f{\"u}r {F}ormale {M}ethoden der {I}nformatik,
		  {U}niversit{\"a}t {S}tuttgart",
  type		= "Dissertation",
  title		= "Logical Fragments for {M}azurkiewicz Traces: {E}xpressive
		  Power and Algebraic Characterizations",
  year		= "2006"
}