Arkadij Zakrevskij Lev Zakrevski Fast Algorithm for Minimizing Reed-Muller Expansions of Systems of Incompletely Specified MVL Functions. 61-65 1997 ISMVL http://computer.org/proceedings/ismvl/7910/79100061abs.htm db/conf/ismvl/ismvl1997.html#ZakrevskijZ97