Q.U.A. NIZAMANI, H. A. NIZAMANI, N. CHANA, and N. J. RAJPER, “On Designing Heuristics for Formal Verification Approaches ”, Sindh. Uni. Res. J. SS, vol. 48, no. 1, Mar. 2016.