Wang, L. Automated synthesis and optimization of multilevel logic circuits. (Thesis). Edinburgh Napier University. http://researchrepository.napier.ac.uk/id/eprint/4342