Test Pattern Generation Using Boolean Proof Engines door Rolf Drechsler, Garschwin Fey & Daniel Tille