Buchfuhrer, David Isaac (2008) The Complexity of Formula Minimization. Master's thesis, California Institute of Technology. doi:10.7907/9T9K-4394. https://resolver.caltech.edu/CaltechETD:etd-05292008-183055