Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams. - Hitomi Sato; Yoshihiro Yasue; Yusuke Matsunaga; Masahiro Fujita (DAC, 1990)