@InProceedings{Deharbe7,
  title =        "Quantifier Inference Rules for {SMT} proofs",
  author =       "David Deharbe and Pascal Fontaine and Bruno
                 Woltzenlogel Paleo",
  booktitle =    pxtp,
  year =         "2011",
}