@unpublished{Kazakov:04:CombRes,
  title = "Combining Resolution Decision Procedures",
  author = "Yevgeny Kazakov",
  year = "2004",
  note = "unpublished manuscript, available from \url{http://web.comlab.ox.ac.uk/oucl/work/yevgeny.kazakov/publications/}",
}