Test Pattern Generation using Boolean Proof Engines - Drechsler, Rolf; Eggersglüβ, Stephan; Fey, Görschwin; Tille, Daniel (Springer Netherlands, 2009)