@mastersthesis{Niemetz-Masters-Thesis-2012,
  author = {Aina Niemetz},
  title  = {Extracting and Checking Q-Resolution Proofs from a State-Of-The-Art QBF Solver},
  year   = {2012},
  series = {Master's Thesis},
  school = {Informatik, Johannes Kepler University Linz}
}