Esquivel Pinto, Claudia Soa Automation of Logic, MPI for Informatics, Max Planck Society;
Esquivel Pinto, C. S. (2013). Computing Variable Orders for SAT-Problems. Master Thesis, Universität des Saarlandes, Saarbrücken.