Miller, David Michael.2012-12-192012-12-191976http://hdl.handle.net/1993/13843240 leaves :engDecomposition in many-valued logic designdoctoral thesis