http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Kleine-Buening/files/Publikationen/erlars2012.pdf
http://jsat.ewi.tudelft.nl/content/volume8/JSAT8_7_Bubeck.pdf
http://www.ub-net.de/cms/fileadmin/upb/doc/bubeck-quantified-circuits-sat-2011.pdf
http://www.ub-net.de/cms/fileadmin/upb/doc/bubeck-qbf-transformations-2010.pdf
http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Kleine-Buening/files/Publikationen/TR-RI-10-320.pdf
http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Kleine-Buening/files/Publikationen/TR-RI-10-321.pdf
http://www.ub-net.de/cms/fileadmin/upb/doc/bubeck-aux-vars-studies-logic-2010.pdf
http://www.ub-net.de/cms/fileadmin/upb/doc/bubeck-dq2-cnf-sat-2010.pdf
http://www.ub-net.de/cms/fileadmin/upb/doc/bubeck-qhorn-circuits-sat-2009.pdf
http://www.ub-net.de/cms/fileadmin/upb/doc/bubeck-3cnf-transform-ipl-2009.pdf
http://www.ub-net.de/cms/fileadmin/upb/doc/bubeck-qhorn-dam-2008.pdf
http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Kleine-Buening/files/Publikationen/MA-Eberling.pdf
http://www.ub-net.de/cms/fileadmin/upb/doc/bubeck-bounded-expansion-sat-2007.pdf
http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Kleine-Buening/files/Publikationen/SA-Eberling.pdf
http://www.ub-net.de/cms/fileadmin/upb/doc/bubeck-dqhorn-sat-2006.pdf
http://www.ub-net.de/cms/fileadmin/upb/doc/bubeck-qhorn-sat-2005.pdf