@inproceedings{DBLP:conf/sat/BenedettiB04,
  title = "Incremental Compilation-to-SAT Procedures",
  author = "Marco Benedetti and Sara Bernardini",
  year = "2004",
  booktitle = "{SAT} 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings",
  url = "http://www.satisfiability.org/SAT04/programme/82.pdf",
}