Woltzenlogel-Paleo, B., Fontaine, P., Merz, S., & Deharbe, D. (2011). Exploiting Symmetry in SMT Problems. In Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings (pp. 222–236). Springer LNCS. https://doi.org/10.1007/978-3-642-22438-6_18 ( reposiTUm)

Woltzenlogel-Paleo, B., Fontaine, P., & Deharbe, D. (2011). Quantifier Inference Rules for SMT Proofs. Proof Exchange for Theorem Proving (PxTP), Wroclaw, Poland, EU. http://hdl.handle.net/20.500.12708/85196 ( reposiTUm)