Test pattern generation using Boolean proof engines - Drechsler, Rolf (Springer, 2009)