Test Pattern Generation using Boolean Proof Engines - Drechsler, Rolf. (Springer Netherlands : Imprint: Springer, 2009)