On the Synthesis of MVL Functions Using Input and Output Phase Assignments. - Mostafa I. H. Abd-El-Barr; Muhammad Nayyar Hasan; G. A. Hamid (ISMVL, 1997)