@unpublished{dsilva_RRR08,
  title = "Restructuring Resolution Refutations for Interpolation",
  author = "Vijay D'Silva and Daniel Kroening and  Mitra Purandare and Georg Weissenbacher",
  year = "2008",
  month = "October",
  url = "http://www.inf.ethz.ch/personal/vdsilva/publications/dkpw_restructuring_resolution_refutations.pdf",
}