@phdthesis{Ghasemzadeh2006,
  author      = {Mohammad Ghasemzadeh},
  title       = {A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t Potsdam},
  year        = {2006},
}