Jin Hou Eduard Cerny Model Reductions and a Case Study. 299-315 http://link.springer.de/link/service/series/0558/bibs/1954/19540299.htm 2000 conf/fmcad/2000 FMCAD db/conf/fmcad/fmcad2000.html#HouC00