PHIFACT, a Boolean Preprocessor for Multi-Level Logic Synthesis. - F. Crowet; Marc Davio; C. Dierieck; J. Durieu; G. Louis; Chantal Ykman-Couvreur (ICCAD, 1990)

PHIFACT a design space exploration program. - F. Crowet; Marc Davio; C. Dierieck; J. Durieu; G. Louis; Chantal Ykman-Couvreur (EURO-DAC, 1991)