Gunnar Andersson Per Bjesse Byron Cook Ziyad Hanna A proof engine approach to solving combinational design automation problems. 725-730 2002 conf/dac/2002 DAC http://doi.acm.org/10.1145/513918.514101 db/conf/dac/dac2002.html#AnderssonBCH02