@PhdThesis{Jur00-PhDdissertation,
  author = 	 {Marcin Jurdzi{\'n}ski},
  title = 	 {Games for Verfication: Algorithmic Issues},
  school = 	 {BRICS, Department of Computer Science, 
                  University of Aarhus, Denmark},
  year = 	 {2000},
  month = 	 {October}
}