@phdthesis{Kazakov:06:Phd,
  title = "Saturation-Based Decision Procedures for Extensions of the Guarded Fragment",
  author = "Yevgeny Kazakov",
  year = "2006",
  address = "Saarbr{\"u}cken, Germany",
  month = "March",
  school = "Universit{\"a}t des Saarlandes",
}