“On Designing Heuristics for Formal Verification Approaches ”. Sindh University Research Journal - SURJ (Science Series), vol. 48, no. 1, Mar. 2016, https://sujo.usindh.edu.pk/index.php/SURJ/article/view/4990.