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