@unpublished{Kazakov:05:Framework,
  title = "A Framework of Refutational Theorem Proving for Saturation-Based Decision Procedures",
  author = "Yevgeny  Kazakov",
  year = "2005",
  address = "Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany",
  institution = "Max-Planck-Institut f{\"u}r Informatik",
  month = "August",
  note = "Research Report MPI-I-2005-2-004, Max-Planck-Institut f{\"u}r Informatik, on revison",
  number = "MPI-I-2005-2-004",
}