Drechsler, Rolf. <br/><br/>
Test Pattern Generation using Boolean Proof Engines 

<br/><br/><label>ISBN: </label>9789048123605