@InProceedings{burel10embedding,
  author = 	 {Guillaume Burel},
  title = 	 {Embedding Deduction Modulo into a Prover},
  booktitle = {CSL},
  year =	 {2010},
  editor =	 {Anuj Dawar and Helmut Veith},
  series =	 {Lecture Notes in Computer Science},
  volume = 	 {6247},
  pages =        {155-169},
  publisher =	 {Springer},
}