%0 Book
%A / Stephan EggersgleuC, Rolf Drechsler
%T High quality test pattern generation and boolean satisfiability
%U /book/93594863/High-quality-test-pattern-generation-and-boolean-s/