https://bookem.ir/books/2120248-Test-Pattern-Generation-Using-Boolean-Proof-Engines