@InProceedings{Fontaine13,
  author =       "Pascal Fontaine and Stephan Merz and Bruno Woltzenlogel Paleo",
  title =        "Exploring and Exploiting Algebraic and Graphical Properties of Resolution",
  booktitle =    smt,
  editor =       "Aarti Gupta and Daniel Kroening",
  year =         "2010",
  month =        jul,
}