Wang, Lingli (2000) Automated synthesis and optimization of multilevel logic circuits. PhD thesis, Edinburgh Napier University.