Q.U.A. NIZAMANI, H. A. NIZAMANI, N. CHANA and N. J. RAJPER 2016. On Designing Heuristics for Formal Verification Approaches . Sindh University Research Journal - SURJ (Science Series). 48, 1 (Mar. 2016).