1. Altera Advanced Synthesis Cookbook, http://www.altera.com/literature/manual/stx_cookbook.pdf
2. Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. IOS Press (2009)
3. Berkeley Logic Synthesis and Verification Group. ABC: A System for Sequential Synthesis and Verification, http://www.eecs.berkeley.edu/~alanmi/abc/
4. Baumgartner, P., Massacci, F.: The taming of the (X)OR. In: Proc. Int’l Conf. on Computational Logic, pp. 508–522 (2000)
5. Cimatti, A., Griggio, A., Sebastiani, R.: Efficient generation of Craig interpolants in satisfiability modulo theories. ACM Trans. on Computational Logic 12(1), 7 (2010)