Jan Hlavicka Petr Fiser Minimization and Partitioning Method Reducing Input Sets. 434-436 2002 conf/delta/2002 DELTA http://csdl.computer.org/comp/proceedings/delta/2002/1453/00/14530434abs.htm db/conf/delta/delta2002.html#HlavickaF02